[tor-commits] [tor/release-0.4.1] Merge branch 'maint-0.4.1' into release-0.4.1

[asn at torproject.org]

commit b0a06e7b186f728a25c75743f30965b2ee46dc26
Merge: 634087304 bb33a2f29
Author: George Kadianakis <desnacked at riseup.net>
Date:   Wed Jul 24 12:32:06 2019 +0300

    Merge branch 'maint-0.4.1' into release-0.4.1

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