[tor-commits] [ooni-probe/develop] Merge pull request #52 from hellais/bug7999