[tor-dev] Tor dev meetings schedule changes for July