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

[nickm at torproject.org]

commit 54ebbd5643600268b6af16c8603089898b72f9cb
Merge: fd9ccd5 f020c4f
Author: Nick Mathewson <nickm at torproject.org>
Date:   Thu Apr 4 20:29:14 2019 -0400

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

 dir-spec.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)