21 Jul
2022
21 Jul
'22
7:19 p.m.
This is an automated email from the git hooks/post-receive script.
nickm pushed a commit to branch main in repository tor.
commit 1ecd7c5d437a2285a5b3d05988645f3f74e78547 Merge: 834745929a 95080794eb Author: Nick Mathewson nickm@torproject.org AuthorDate: Thu Jul 21 15:19:20 2022 -0400
Merge remote-tracking branch 'tor-gitlab/mr/590'
doc/man/tor.1.txt | 4 ++-- scripts/maint/checkOptionDocs.pl.in | 9 ++++++++- 2 files changed, 10 insertions(+), 3 deletions(-)
--
To stop receiving notification emails like this one, please contact
the administrator of this repository.