commit 473decb24661411a3ebf9a34e89f6715e052f876 Merge: c81b2b09e a20a2025a Author: George Kadianakis desnacked@riseup.net Date: Tue Mar 26 01:17:58 2019 +0200

Merge branch 'tor-github/pr/839'

scripts/maint/practracker/util.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)