[tor-commits] [pytorctl/master] 9771 - Keep Torflow happy