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(-)