[tor-commits] [tor] 08/08: Merge branch 'maint-0.4.7'

12 Jan 2023

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

dgoulet pushed a commit to branch main
in repository tor.

commit aa38ce6c381082bc01c438ad06b88f6654a12c13
Merge: d9821bdea5 89d1db6ad9
Author: David Goulet <dgoulet@torproject.org>
AuthorDate: Thu Jan 12 11:15:59 2023 -0500

    Merge branch 'maint-0.4.7'

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

[tor-commits] [tor] 08/08: Merge branch 'maint-0.4.7'

gitolite role