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

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@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.