[tor-commits] [tor/release-0.3.1] Lintchanges fix: bug numbers do not get #d, but they do get "fix on"