[tor-commits] [tor/master] Merge branch 'tor-github/pr/1267'

commit 78e084a12e55cf7f26f8663dfe738c2a49468e86 Merge: 761a0ec3d 8af92b657 Author: George Kadianakis desnacked@riseup.net Date: Tue Aug 27 11:47:46 2019 +0300

Merge branch 'tor-github/pr/1267'

changes/bug31088 | 5 +++++ src/feature/dirauth/process_descs.c | 16 +++++++++++++--- src/feature/dirauth/process_descs.h | 4 ++++ src/test/test_address.c | 36 ++++++++++++++++++++++++++++++++++++ 4 files changed, 58 insertions(+), 3 deletions(-)