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