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

commit e7c9a0110649f688312f8bfc4e37d40dd7ddedb7 Merge: 53df602 42d0a84 Author: George Kadianakis <desnacked@riseup.net> Date: Mon Sep 28 16:00:44 2020 +0300 Merge remote-tracking branch 'tor-gitlab/mr/7' into master dir-spec.txt | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-)