commit 9586ae178a38436e07278f141801208c04b37191 Merge: 34509e78c 226f11002 Author: David Goulet dgoulet@torproject.org Date: Wed Oct 23 09:11:43 2019 -0400

Merge branch 'tor-github/pr/1451'

changes/ticket32216 | 9 ++++++ scripts/git/git-push-all.sh | 74 +++++++++++++++++++++++++++++++++------------ 2 files changed, 64 insertions(+), 19 deletions(-)