[tor-commits] [torspec] 08/10: Merge branch 'tor-gitlab/mr/94'

[gitolite role]

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

dgoulet pushed a commit to branch main
in repository torspec.

commit 93e2f2f574d99458e0e7075f8a4df34b1d8d32ce
Merge: 529cb00 28d1f63
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Tue Jan 10 13:53:15 2023 -0500

    Merge branch 'tor-gitlab/mr/94'

 dir-spec.txt | 6 ++++++
 1 file changed, 6 insertions(+)


-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.