[tor-commits] [torspec/master] Merge remote-tracking branch 'gitlab/mr/13'

commit 5a356302590e27c14fc777dc51cab2a5859fbfb6 Merge: 29ea94a cca9ee0 Author: Alexander Færøy <ahf@torproject.org> Date: Wed Oct 28 15:57:42 2020 +0000 Merge remote-tracking branch 'gitlab/mr/13' dir-spec.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)