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

[nickm at torproject.org]

commit c81b2b09eadf8ee8775f61831db055425bcf7d27
Merge: d4d541c53 135b51c9d
Author: Nick Mathewson <nickm at torproject.org>
Date:   Mon Mar 25 15:18:36 2019 -0400

    Merge branch 'practracker_comments'

 scripts/maint/practracker/problem.py | 31 +++++++++++++++++++++++--------
 1 file changed, 23 insertions(+), 8 deletions(-)