Hi Trinity (-1686a)
Thanks a lot for your reply. Nice to see that is was reported already. I've did some web searches, but nothing came up. For the next time, I'll request an account for the GIT repo.
Andreas
On Monday, January 09, 2023 11:40 CET, trinity pointard trinity.pointard@gmail.com wrote: 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
_______________________________________________ tor-dev mailing list tor-dev@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev