Stream: Miscellaneous

Topic: stream events

view this post on Zulip Notification Bot (May 08 2020 at 12:29):

Cyril Cohen renamed stream general to Miscellaneous.

view this post on Zulip Notification Bot (Apr 14 2022 at 09:34):

Théo Zimmermann changed the access permissions for this stream from Public, protected history to Web-public.

Last updated: May 31 2023 at 03:30 UTC