[tor-commits] [oonib/master] Merge pull request #53 from TheTorProject/fix/12747