This is an automated email from the git hooks/post-receive script.
dgoulet pushed a commit to branch main in repository tor.
commit 5ce8b82edc76f7516c90604558a88cfcfb8bcd8a Merge: 7fc474bd3f 7528524aee Author: David Goulet dgoulet@torproject.org AuthorDate: Fri Jun 17 10:12:30 2022 -0400
Merge branch 'maint-0.4.7'