Daniel Kahn Gillmor <dkg at fifthhorseman.net> writes: > nmbug and notmuch-report are developer tools. It's 2018, and all > developers should have python3 available. > Pushed. d