[tor-commits] [tor/master] changes: Add file for ticket #31371