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 <bo...@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
