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

[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 e9598b11633cc09c95323e230f5fd5f007c1483c
Merge: d3904cb a2c7812
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Tue Jan 10 13:54:30 2023 -0500

    Merge branch 'tor-gitlab/mr/92'

 tor-spec.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)


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