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

[asn at torproject.org]

commit e411fcabd7f52f2ddb108dd3973be944a0e0ef2b
Merge: c214402a5 71e5af022
Author: George Kadianakis <desnacked at riseup.net>
Date:   Mon Aug 19 18:02:44 2019 +0300

    Merge branch 'tor-github/pr/1220'

 changes/ticket30979                                    |  5 +++++
 scripts/git/pre-push.git-hook                          | 13 ++++++++-----
 scripts/maint/practracker/.enable_practracker_in_hooks |  1 +
 3 files changed, 14 insertions(+), 5 deletions(-)