commit 6210c750762541273ef39831b146462bebcb2740 Merge: 7fa624537 e3f7e5e65 Author: David Goulet dgoulet@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(-)