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

[gitolite role]

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

dgoulet pushed a commit to branch main
in repository tor.

commit ce7476cb59923fa6da0b3b989e8c782b63189ba6
Merge: 7e055c383c 35e221688b
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Tue Jan 10 11:15:36 2023 -0500

    Merge branch 'maint-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.