Zulip Chat Archive
Stream: concrete semantics
Topic: ssh vscode
Billy Price (Jun 25 2021 at 09:01):
(deleted)
Billy Price (Jun 25 2021 at 09:02):
uh oh, wildly incorrect stream
Billy Price (Jun 25 2021 at 09:02):
Can I relocate this to the general stream?
Johan Commelin (Jun 25 2021 at 09:04):
only zulip admins can move threads between streams
Last updated: May 02 2025 at 03:31 UTC