Stream: wg-database

Topic: unofficial

nikomatsakis (Mar 26 2019 at 18:21, on Zulip):

So, to be clear, this isn't an "official" working group -- maybe we can update the description to make that clearer?

davidtwco (Mar 26 2019 at 18:21, on Zulip):

Updated, it won't change the message that has been posted by the bot, but the stream list is updated.

nikomatsakis (Mar 26 2019 at 18:29, on Zulip):

OK, great. I'm happy for people to have a space to chat, but a bit wary of the precedent of creating streams for "unofficial" things.

nikomatsakis (Mar 26 2019 at 18:30, on Zulip):

Maybe I'm too cautious, I don't know. Just registering the concern =)

Last update: Jul 16 2020 at 14:50UTC