[tor-commits] [tor] 15/15: 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 33657037a1b6fe115e5b8e537b39a493bf11bfa2
Merge: d6cf3ca5c1 c50496036b
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Tue Jan 10 11:57:11 2023 -0500

    Merge branch 'maint-0.4.7'


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