[tor-commits] [pytorctl/master] remove ;