[tor-dev] Good IRC meeting times (was: IRC meeting to discuss sponsor F progress on Wed July 3, 16:00 to 17:00 UTC in #tor-dev)