This is an automated email from the git hooks/post-receive script.
dgoulet pushed a commit to branch main in repository tor.
commit 23a807b382ed0e0dfa0b46adc0af28baad731ed2 Merge: d583626b91 f478be6dc7 Author: David Goulet dgoulet@torproject.org AuthorDate: Thu Aug 11 10:29:43 2022 -0400
Merge branch 'maint-0.4.7'