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: Dec 20 2023 at 11:08 UTC