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

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