[tor-commits] [tor] 13/13: Merge branch 'maint-0.4.7'

This is an automated email from the git hooks/post-receive script. dgoulet pushed a commit to branch main in repository tor. commit 4481c1e6099864c0942c3bed1cfc59e90ebf503b Merge: 3c58fa8a6f f09b913e18 Author: David Goulet <dgoulet@torproject.org> AuthorDate: Thu Oct 27 11:42:10 2022 -0400 Merge branch 'maint-0.4.7' changes/ticket40683 | 6 ++++++ 1 file changed, 6 insertions(+) -- To stop receiving notification emails like this one, please contact the administrator of this repository.