[tor-commits] [torspec] 03/03: Merge remote-tracking branch 'tor-gitlab/mr/77'

[gitolite role <git@xxxxxxxxxxxxxxxxxxxxx>]

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

nickm pushed a commit to branch main
in repository torspec.

commit d4876062cc2b73374319ddbb90600e846ec26b7d
Merge: 09d74ee 1db6116
Author: Nick Mathewson <nickm@xxxxxxxxxxxxxx>
AuthorDate: Tue Jul 12 12:54:59 2022 -0400

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

 padding-spec.txt | 10 ++++++++++
 1 file changed, 10 insertions(+)

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.
_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits