[tor-commits] [weather/master] Apply patch by Matt Kraai (Thanks!) that fixes #8071: