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

[asn at torproject.org]

commit 2db9bb02c79e023128e7b6fc89f4601b88e8ef4b
Merge: d867b7ae1 5722c6d12
Author: George Kadianakis <desnacked at riseup.net>
Date:   Thu Apr 18 13:22:54 2019 +0300

    Merge branch 'tor-github/pr/925'

 changes/ticket30114         |  3 +++
 scripts/git/git-pull-all.sh | 18 +++++++++++++++++-
 2 files changed, 20 insertions(+), 1 deletion(-)