[tor-commits] [tor/master] Merge branch 'tor-github/pr/1363'

[dgoulet at torproject.org]

commit 40be20d542a83359ea480bbaa28380b4137c88b2
Merge: c81e1e454 707114485
Author: David Goulet <dgoulet at torproject.org>
Date:   Wed Oct 2 10:34:46 2019 -0400

    Merge branch 'tor-github/pr/1363'

 .appveyor.yml                | 6 +++---
 .travis.yml                  | 6 ++++--
 changes/ticket31372_appveyor | 4 ++++
 changes/ticket31372_travis   | 4 ++++
 4 files changed, 15 insertions(+), 5 deletions(-)