[tor-commits] [tor/master] Merge branch 'practracker_regen'

[nickm at torproject.org]

commit 300e7d8c9946617fde3bb1d8cc9c6c8bac556220
Merge: 989b6325d 39e449434
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Mar 26 19:27:54 2019 -0400

    Merge branch 'practracker_regen'

 Makefile.am                              |  3 ++
 scripts/maint/practracker/practracker.py | 82 +++++++++++++++++++++++++++-----
 scripts/maint/practracker/problem.py     |  5 +-
 3 files changed, 77 insertions(+), 13 deletions(-)