[tor-commits] [tor/maint-0.4.1] Merge branch 'tor-github/pr/1181' into maint-0.4.1

[asn at torproject.org]

commit bb33a2f290561f96a2ab980f295e9bafcde39707
Merge: c541258fa a9379d675
Author: George Kadianakis <desnacked at riseup.net>
Date:   Wed Jul 24 12:31:56 2019 +0300

    Merge branch 'tor-github/pr/1181' into maint-0.4.1

 changes/bug31003                  |  4 ++++
 src/feature/nodelist/routerlist.c | 12 ++++++------
 2 files changed, 10 insertions(+), 6 deletions(-)