[tor-dev] [Measurement Team] Next IRC meeting happens on Thursday, Oct 8, 14:00 UTC in #tor-dev