> I am sorry I missed this ticket. I usually merge content as soon as I > notice a ticket. If I miss something, meaning I do not merge it in a few > days, a quick direct email or ping is enough for me to act on it. > This is now merged.
I would appreciate a comment or at least a state change on the ticket when a PR is acted upon. I closed the ticket now. -- https://twitter.com/nusenu_ https://mastodon.social/@nusenu
signature.asc
Description: OpenPGP digital signature
_______________________________________________ tor-dev mailing list tor-dev@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-dev