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