This is an automated email from the git hooks/post-receive script.
dgoulet pushed a commit to branch main in repository tor.
commit 75c097f0e2adccd306aff9f1bd5a2d7044abe4d4 Merge: d75d02d202 56ac77ba4c Author: David Goulet dgoulet@torproject.org AuthorDate: Tue Dec 6 10:22:57 2022 -0500
Merge branch 'maint-0.4.7'