[tor-commits] [tor] 04/04: 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 028f5fd6ea432a7682680e7839d0ef619fc665d6
Merge: ed74c52158 e98995bb08
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Tue Jul 26 16:16:04 2022 -0400

    Merge branch 'maint-0.4.7'

 changes/ticket40623   |  4 ++++
 src/core/or/command.c | 10 +++++-----
 2 files changed, 9 insertions(+), 5 deletions(-)

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