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

[nickm at torproject.org]

commit 21c3488af714ade6f07251194165d92f77f06c31
Merge: bed439013 b18641879
Author: Nick Mathewson <nickm at torproject.org>
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(+)