This is an automated email from the git hooks/post-receive script.
dgoulet pushed a commit to branch main in repository tor.
commit dde9929381fadf02796292d0e9a5099d500b9493 Merge: c142b59503 db4e226354 Author: David Goulet dgoulet@torproject.org AuthorDate: Thu Aug 11 10:17:35 2022 -0400
Merge branch 'maint-0.4.7'