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(-)