[tor-commits] [tor/master] Changes file for bug 11623 (fix was in 91ff10f6be9)