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

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@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.