[tor-dev] [Measurement Team] Next IRC meeting happens tomorrow, Jul 22, 14:00 UTC in #tor-project