Stream: Coq Platform devs & users

Topic: ✔ Two Julien Puydt accounts


view this post on Zulip Michael Soegtrop (Jan 24 2023 at 08:52):

Btw.: @Julien Puydt : are there plans to provide 8.16.1? Is the above list up to date?

P.S.: there are two Julien Puydt Coq Zulip accounts - I guess both are yours. You might want to delete one.

view this post on Zulip Karl Palmskog (Jan 24 2023 at 09:50):

the "other" Julien is @Julien Puydt|423604, and shows up if you start to write @Jul

view this post on Zulip Karl Palmskog (Jan 24 2023 at 09:57):

I see it in list of suggested users, maybe fill in some more letters, like @Julien

view this post on Zulip Michael Soegtrop (Jan 24 2023 at 10:01):

@Julien Puydt : regarding the 2 accounts : I see two if I type @Julien - one at the top and one close to the bottom. If I type @Puydt I see just your 2 accounts.

view this post on Zulip Notification Bot (Jan 24 2023 at 10:05):

A message was moved here from #Coq Platform devs & users > Alternative way to install Coq Platform by Théo Zimmermann.

view this post on Zulip Théo Zimmermann (Jan 24 2023 at 10:07):

I tried to split this thread, but it is missing the answers from @Julien Puydt because they were not in messages separate from the ones relevant to the other topic.

view this post on Zulip Notification Bot (Jan 24 2023 at 10:08):

Julien Puydt has marked this topic as resolved.


Last updated: May 24 2024 at 23:01 UTC