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

[asn@xxxxxxxxxxxxxx]

commit bb33a2f290561f96a2ab980f295e9bafcde39707
Merge: c541258fa a9379d675
Author: George Kadianakis <desnacked@xxxxxxxxxx>
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(-)




_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits