Enrico Tassi (Apr 16 2022 at 10:46): 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?
Cyril Cohen (Apr 19 2022 at 08:30):I think @Théo Zimmermann did it already
Last updated: Apr 20 2024 at 00:02 UTC