[tor-commits] [tor] 02/03: Merge branch 'tor-gitlab/mr/675' into 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 35e221688b2636c405332bc6140d6e5cc483b0bf
Merge: d456885dac 726e9ec0a3
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Tue Jan 10 11:15:32 2023 -0500

    Merge branch 'tor-gitlab/mr/675' into 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.