[tor-commits] [torspec/master] Merge remote-tracking branch 'tor-github/pr/77'

[nickm at torproject.org]

commit 702fdbfa9819a659796e6d07fd282cd619f73db3
Merge: d443c0c aea5837
Author: Nick Mathewson <nickm at torproject.org>
Date:   Thu Apr 25 20:12:45 2019 -0400

    Merge remote-tracking branch 'tor-github/pr/77'

 dir-spec.txt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)