Stream: project leads (public)

Topic: public announcement


nikomatsakis (Dec 18 2019 at 21:32, on Zulip):

FYI, I posted an announcement on internals as to the purpose of this stream.

Last update: Jan 28 2020 at 00:40UTC