Hi,
Thanks for reporting this issue. It has already been reported and fixed recently: https://gitlab.torproject.org/tpo/core/tor/-/merge_requests/665
Sorry, at the moment I've no clue what would be the correct way to send patches...
The correct way to send a patch is to open a merge request against https://gitlab.torproject.org/tpo/core/tor . To do so you need an account, which you can get by asking on https://gitlab.onionize.space/.
Regards, trinity-1686a
On Mon, 9 Jan 2023 at 11:12, Andreas Bollhalder bolle@geodb.org wrote:
Hi
I think, there's a typo in the file "src/feature/relay/relay_metrics.c". Shouldn't the word "circs_creared" in the line
metrics_format_label("action", "circs_creared"));
be read as "circs_cleared"?
Andreas
PS: Sorry, at the moment I've no clue what would be the correct way to send patches... _______________________________________________ tor-dev mailing list tor-dev@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev