Stream: Elpi users & devs

Topic: Making this stream web-public


view this post on Zulip Enrico Tassi (Apr 16 2022 at 10:46):

which means you don't need to log in in order to read it. I think it is agood idea. @Cyril Cohen I don't think I have the rights to do this. Can you make this stream public?

view this post on Zulip Cyril Cohen (Apr 19 2022 at 08:30):

I think @Théo Zimmermann did it already


Last updated: Oct 13 2024 at 01:02 UTC