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

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 ba77ccae02177778e3d0d8d70a2c38077e3bd36c Merge: 0f72752037 a91bcb5516 Author: David Goulet <dgoulet@torproject.org> AuthorDate: Mon Nov 28 10:27:18 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.