Stream: Coq devs & plugin devs

Topic: ✔ Coq Call: does rendevouz work with Safari


view this post on Zulip Michael Soegtrop (Nov 09 2023 at 07:38):

@Théo Zimmermann : I had a discussion on the jetsi Discourse chat and the person responsible for providing it to Renata answered that they did it on purpose years back and then did not revisit this decision. They will do so now, but some feedback from the French research community might help.

view this post on Zulip Notification Bot (Nov 09 2023 at 07:39):

Michael Soegtrop has marked this topic as resolved.

view this post on Zulip Théo Zimmermann (Nov 09 2023 at 08:26):

That's great! In the meantime, I got a very stubborn answer from the Renater support staff (basically saying: here is the list of compatible browsers). I replied that this limitation was no longer justified.


Last updated: Oct 13 2024 at 01:02 UTC