Zulip Chat Archive
Stream: triage
Topic: did the bot die?
Kevin Buzzard (Apr 17 2023 at 23:06):
We've not heard from it for a month. Is this intentional?
Last updated: Dec 20 2023 at 11:08 UTC
We've not heard from it for a month. Is this intentional?
Last updated: Dec 20 2023 at 11:08 UTC