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

[asn at torproject.org]

commit cec555f44c6aac473258689ce7362e44e265c06e
Merge: 600f5f0db b3b737b87
Author: George Kadianakis <desnacked at riseup.net>
Date:   Thu Feb 28 12:32:16 2019 +0200

    Merge branch 'tor-github/pr/720'

 changes/ticket29553               |  5 +++++
 scripts/maint/pre-commit.git-hook | 33 ++++++++++++++++++++++++---------
 2 files changed, 29 insertions(+), 9 deletions(-)