Zulip Chat Archive

Stream: new members

Topic: new streams

Brando Miranda (Jul 14 2023 at 17:40):

I'd like to create a new stream. How does one do this in lean zulip?

Johan Commelin (Jul 14 2023 at 18:07):

You can ask for a stream on #Zulip meta. Then it will be discussed amongst the mods.

Last updated: Dec 20 2023 at 11:08 UTC