Zulip Chat Archive
Stream: Lean Together 2019
Topic: Zulip
Sebastian Ullrich (Jan 11 2019 at 09:30):
publicly visible streams - Zulip issue
Johan Commelin (Jan 11 2019 at 10:14):
It's too bad that participants who aren't on Zulip can't see your link to that discussion on Github :counterclockwise:
Last updated: Dec 20 2023 at 11:08 UTC