[tor-commits] [tor] 04/05: 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 a6a01c6b0da3136a94f81f56c3fdf46c7f9e365c
Merge: aa38ce6c38 fa2face3b5
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Thu Jan 12 12:09:42 2023 -0500

    Merge branch 'maint-0.4.7'


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