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

[asn at torproject.org]

commit ece5133e0dbc9049e09d7104cc5cf21630902fa7
Merge: e9f1e975d 0635170cf
Author: George Kadianakis <desnacked at riseup.net>
Date:   Tue Jun 11 13:19:43 2019 +0300

    Merge branch 'tor-github/pr/1098'

 scripts/git/git-merge-forward.sh | 20 ++++++++++----------
 scripts/git/git-pull-all.sh      | 16 ++++++++--------
 scripts/git/git-push-all.sh      |  6 +++---
 3 files changed, 21 insertions(+), 21 deletions(-)