[tor-commits] [tor/master] Bug 12498 needs a changes file.