[tor-commits] [tor] 01/01: Merge branch 'maint-0.4.7' into release-0.4.7

[gitolite role]

This is an automated email from the git hooks/post-receive script.

dgoulet pushed a commit to branch release-0.4.7
in repository tor.

commit 80748f41affa79588b7d1ada04de7cefde0d24e5
Merge: 695066856c 35e221688b
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Tue Jan 10 11:15:36 2023 -0500

    Merge branch 'maint-0.4.7' into release-0.4.7

 changes/ticket40729 | 3 +++
 src/app/main/main.c | 9 +++++++--
 2 files changed, 10 insertions(+), 2 deletions(-)

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.