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