[tor-commits] [tor] 07/07: Merge remote-tracking branch 'tor-gitlab/mr/592'

[gitolite role]

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

nickm pushed a commit to branch main
in repository tor.

commit 3cee70e87d46369ffb7f1c1da78c5f32add01e13
Merge: 0bd2065062 0dc9561f21
Author: Nick Mathewson <nickm at torproject.org>
AuthorDate: Thu Jul 21 15:19:28 2022 -0400

    Merge remote-tracking branch 'tor-gitlab/mr/592'

 changes/bug40619                 | 3 +++
 src/feature/nodelist/microdesc.c | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

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