Stream: math-comp analysis

Topic: stream is not web public

view this post on Zulip Karl Palmskog (Oct 23 2022 at 09:27):

I think what you mean is that the stream is not "web public". This is different from a private stream.

Ping @Théo Zimmermann who can make the stream web public.

view this post on Zulip Théo Zimmermann (Oct 23 2022 at 20:17):

Done.

Last updated: Jan 30 2023 at 10:03 UTC