[tor-commits] [torspec/master] Merge branch 'tor-gitlab/mr/15' into master

[dgoulet at torproject.org]

commit ae025d53979dc62136843c1917fad499ce1abe9b
Merge: bfaf4c2 1337eb2
Author: David Goulet <dgoulet at torproject.org>
Date:   Tue Nov 17 10:50:27 2020 -0500

    Merge branch 'tor-gitlab/mr/15' into master

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