This is an automated email from the git hooks/post-receive script.
nickm pushed a change to branch main in repository tor.
from 834745929a fix easy typos new 6c1aad13e2 Fix `check-docs` to avoid false-positives on missing anchors. new 95080794eb Fix the name of AuthDirMiddleOnly in the manpage. new 1ecd7c5d43 Merge remote-tracking branch 'tor-gitlab/mr/590' new 0eb21427c9 Don't add redundant quotes with escaped() in log messages. new 0bd2065062 Merge remote-tracking branch 'tor-gitlab/mr/591' new 0dc9561f21 Add a missing "not" to a message. new 3cee70e87d Merge remote-tracking branch 'tor-gitlab/mr/592'
The 7 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "add" were already present in the repository and have only been added to this reference.
Summary of changes: changes/bug40619 | 3 +++ changes/log-quotes | 3 +++ doc/man/tor.1.txt | 4 ++-- scripts/maint/checkOptionDocs.pl.in | 9 ++++++++- src/feature/dirauth/process_descs.c | 2 +- src/feature/nodelist/microdesc.c | 2 +- src/feature/relay/dns.c | 4 ++-- 7 files changed, 20 insertions(+), 7 deletions(-) create mode 100644 changes/bug40619 create mode 100644 changes/log-quotes