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

[asn at torproject.org]

commit 53bdd21179b3507b8d8aa2788e4955df8619f6db
Merge: a58a9572f 75f417fd0
Author: George Kadianakis <desnacked at riseup.net>
Date:   Mon Dec 2 12:52:44 2019 +0200

    Merge branch 'tor-github/pr/1559'

 changes/ticket29826                 |  3 ++
 src/feature/dirauth/process_descs.c | 78 ++++++++++++++++++-------------------
 2 files changed, 42 insertions(+), 39 deletions(-)