[tor/master] Merge remote-tracking branch 'public/practracker_regen_overbroad_2'

commit b7bbff0c9c655a938b42a103594f2c34c3f6dcfa Merge: a8456d2a1 5e963f97b Author: Nick Mathewson <nickm@torproject.org> Date: Thu Feb 6 08:27:12 2020 -0500 Merge remote-tracking branch 'public/practracker_regen_overbroad_2' Makefile.am | 2 + changes/ticket32372 | 4 ++ scripts/maint/practracker/practracker.py | 30 +++++++++++--- scripts/maint/practracker/problem.py | 21 ++++++++++ scripts/maint/practracker/test_practracker.sh | 12 ++++++ .../practracker/testdata/ex1-regen-expected.txt | 46 ++++++++++++++++++++++ .../testdata/ex1-regen-overbroad-expected.txt | 45 +++++++++++++++++++++ 7 files changed, 154 insertions(+), 6 deletions(-)
participants (1)
-
nickm@torproject.org