[tor-commits] [newsletter/master] Update july Tor news