[tor-commits] [pytorctl/master] Really fix Bug #6131.