[tor-commits] [tor] 04/04: 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 028f5fd6ea432a7682680e7839d0ef619fc665d6 Merge: ed74c52158 e98995bb08 Author: David Goulet <dgoulet@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.