[tor-commits] [pytorctl/master] Merge commit '40f7cbc' into bug2812