This is an automated email from the git hooks/post-receive script.
dgoulet pushed a commit to branch main in repository tor.
commit 42f72dc10c5f2c41cf7a401527da4f4cd101305c Merge: f732a91a73 83965eca26 Author: David Goulet dgoulet@torproject.org AuthorDate: Fri Aug 12 10:54:47 2022 -0400
Merge branch 'maint-0.4.6' into maint-0.4.7