Zulip Chat Archive
Stream: new members
Topic: ignore this
Michael Novak (Dec 06 2025 at 05:44):
I wanted to delete this topic, but I don't see how to do this, sorry.
Notification Bot (Dec 06 2025 at 06:38):
This topic was moved here from #new members > How to get from set membership to type judgment by Michael Novak.
Last updated: Dec 20 2025 at 21:32 UTC