Re: [tor-dev] Reminder: weekly Tor development meeting (Wed), and weekly patch workshop (Tue)