[tor-commits] [tor] 06/07: Merge branch '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 fbfda1b661cf3c9d6c9a35a2786f04a70f23f4b5
Merge: 23a807b382 1506eca5aa
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Thu Aug 11 11:15:17 2022 -0400

    Merge branch 'maint-0.4.7'


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