Stream: project leads (public)

Topic: stream events


Notification Bot (Dec 18 2019 at 21:18, on Zulip):

Stream created by nikomatsakis.

Notification Bot (Dec 18 2019 at 21:23, on Zulip):

nikomatsakis renamed stream team leads (public) to project leads (public).

Tony Arcieri (Dec 18 2019 at 21:25, on Zulip):

:wave:

Last update: Jan 28 2020 at 00:40UTC