Zulip Chat Archive
Stream: Infinity-Cosmos
Topic: channel events
Notification Bot (Sep 09 2024 at 16:42):
Web-public channel created by Johan Commelin. Description:
No description.
Kim Morrison (Sep 10 2024 at 02:44):
Our default for now is that new users get subscribed to "project channels", e.g. FLT, Carleson, etc., so I've added this to the list of default channels. Happy to revert if desired.
Last updated: Dec 20 2025 at 21:32 UTC