[tor-commits] [tor] 04/06: Merge branch 'maint-0.4.6' into maint-0.4.7

[gitolite role]

This is an automated email from the git hooks/post-receive script.

dgoulet pushed a commit to branch main
in repository tor.

commit 42f72dc10c5f2c41cf7a401527da4f4cd101305c
Merge: f732a91a73 83965eca26
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Fri Aug 12 10:54:47 2022 -0400

    Merge branch 'maint-0.4.6' into maint-0.4.7


-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.