[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 695066856c8122d58b22d0327add0029029588cb
Merge: 2b4651174e d456885dac
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Tue Jan 10 09:12:20 2023 -0500

    Merge branch 'maint-0.4.7' into release-0.4.7

 scripts/ci/ci-driver.sh      | 2 +-
 scripts/maint/code-format.sh | 6 ++++++
 src/test/test_include.sh     | 3 +++
 src/test/test_rebind.sh      | 3 +++
 4 files changed, 13 insertions(+), 1 deletion(-)

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