[tor-commits] [tor] 01/01: Merge branch 'maint-0.4.7' into release-0.4.7

[gitolite role]

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

dgoulet pushed a commit to branch release-0.4.7
in repository tor.

commit 56542dc07b9b31978f1681e578c8e762f59229a0
Merge: be68d56e55 8f48a6082b
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Tue Dec 6 10:00:05 2022 -0500

    Merge branch 'maint-0.4.7' into release-0.4.7


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