[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/1081' into maint-0.4.0

[teor at torproject.org]

commit 8a4635a5fe951dd9fa917eb670c8d3138b3d0b90
Merge: 7502881de fb3f46140
Author: teor <teor at torproject.org>
Date:   Fri Aug 9 14:05:46 2019 +1000

    Merge remote-tracking branch 'tor-github/pr/1081' into maint-0.4.0

 changes/bug30781                   | 4 ++++
 src/feature/dirparse/routerparse.c | 3 +++
 2 files changed, 7 insertions(+)