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: May 26 2020 at 13:50UTC