[tor-commits] [tor/release-0.3.5] Merge remote-tracking branch 'tor-github/pr/1376' into maint-0.3.5

[nickm@xxxxxxxxxxxxxx]

commit 21c3488af714ade6f07251194165d92f77f06c31
Merge: bed439013 b18641879
Author: Nick Mathewson <nickm@xxxxxxxxxxxxxx>
Date:   Tue Oct 22 12:10:08 2019 -0400

    Merge remote-tracking branch 'tor-github/pr/1376' into maint-0.3.5

 .appveyor.yml    | 12 ++++++++++++
 changes/bug31884 |  3 +++
 2 files changed, 15 insertions(+)




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