[tor-commits] [tor] 07/13: Changes file for 40683