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

[nickm at torproject.org]

commit 8bef3a76a917c879b0d675961953af0bbf5378cd
Merge: da1d900d3 6965798a1
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Oct 22 12:10:30 2019 -0400

    Merge branch 'maint-0.4.1' into release-0.4.1

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