[tor-dev] [Measurement Team] Next IRC meeting happens on Wednesday, Aug 19, 14:00 UTC in #tor-project