[tor-commits] [tor/master] retroactively list a ticket number for patch 3946.