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

[dgoulet at torproject.org]

commit 6210c750762541273ef39831b146462bebcb2740
Merge: 7fa624537 e3f7e5e65
Author: David Goulet <dgoulet at torproject.org>
Date:   Wed Sep 4 08:27:36 2019 -0400

    Merge branch 'tor-github/pr/1246'

 Makefile.am                              |  1 +
 scripts/maint/practracker/README         | 21 +++++++++++++++++++++
 scripts/maint/practracker/includes.py    |  2 +-
 scripts/maint/practracker/practracker.py | 19 ++++++++++++-------
 4 files changed, 35 insertions(+), 8 deletions(-)