[tor-commits] [tor] 12/15: Changes file for bug 40732