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

[asn at torproject.org]

commit 78e084a12e55cf7f26f8663dfe738c2a49468e86
Merge: 761a0ec3d 8af92b657
Author: George Kadianakis <desnacked at 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(-)