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