This is an automated email from the git hooks/post-receive script.
dgoulet pushed a commit to branch main in repository tor.
commit d32ae7cb56b73894c6b124222b5a767620f47191 Merge: f9e657caeb 9a9ddc2657 Author: David Goulet dgoulet@torproject.org AuthorDate: Fri Aug 12 10:17:40 2022 -0400
Merge branch 'maint-0.4.7'