[tor-commits] [tor] 08/08: 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 75c097f0e2adccd306aff9f1bd5a2d7044abe4d4
Merge: d75d02d202 56ac77ba4c
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Tue Dec 6 10:22:57 2022 -0500

    Merge branch 'maint-0.4.7'


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