[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/783'

[teor at torproject.org]

commit 2b5cc8a059b30a47aab29d27b560ff50c741565b
Merge: cd52e1394 a6dd893e7
Author: teor <teor at torproject.org>
Date:   Wed Mar 13 10:15:59 2019 +1000

    Merge remote-tracking branch 'tor-github/pr/783'

 scripts/maint/git-merge-forward.sh | 12 ++++++++++++
 scripts/maint/git-pull-all.sh      | 13 +++++++++++++
 2 files changed, 25 insertions(+)