[tor-commits] [tor/master] Note fix for bug 12831