[tor-commits] [tor] 03/06: 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 af96c966f749945df312c94c5547ef5eb6c2cc20 Merge: 042fece49e 5de3b0db75 Author: David Goulet <dgoulet@torproject.org> AuthorDate: Fri Aug 12 10:14:38 2022 -0400 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.