[tor-commits] [torspec] 09/10: Merge branch 'tor-gitlab/mr/93'

[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 d3904cbe4b14c849160a732fa758c5bd19f53045
Merge: 93e2f2f bf877ec
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Tue Jan 10 13:53:47 2023 -0500

    Merge branch 'tor-gitlab/mr/93'

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


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