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

[asn@xxxxxxxxxxxxxx]

commit 39a10499326fc020a1ad05e9dd3341d7e21e8873
Merge: b402a0887 e1ad22643
Author: George Kadianakis <desnacked@xxxxxxxxxx>
Date:   Tue Feb 26 20:15:40 2019 +0200

    Merge branch 'tor-github/pr/729'

 changes/ticket29391                |   3 +
 scripts/maint/git-merge-forward.sh | 194 +++++++++++++++++++++++++++++++++++++
 scripts/maint/git-pull-all.sh      | 178 ++++++++++++++++++++++++++++++++++
 scripts/maint/git-push-all.sh      |  12 +++
 4 files changed, 387 insertions(+)

_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits