Stream: Coq Hackathon and Working Group, Winter 2022

Topic: ✔ Topic disappearing


view this post on Zulip Emilio Jesús Gallego Arias (Mar 22 2022 at 18:41):

Did I just see a topic disappear or I dreamed it?

view this post on Zulip Emilio Jesús Gallego Arias (Mar 22 2022 at 18:42):

The topic we were discussing about the WG frequency?

view this post on Zulip Emilio Jesús Gallego Arias (Mar 22 2022 at 18:42):

@Karl Palmskog ?

view this post on Zulip Karl Palmskog (Mar 22 2022 at 18:42):

probably Théo reorganized topics

view this post on Zulip Emilio Jesús Gallego Arias (Mar 22 2022 at 18:43):

Seems lost tho

view this post on Zulip Karl Palmskog (Mar 22 2022 at 18:43):

I didn't see anything disappear

view this post on Zulip Emilio Jesús Gallego Arias (Mar 22 2022 at 18:44):

maybe I muted it pressing some stupid key? Can you cite me there @Karl Palmskog please?

view this post on Zulip Emilio Jesús Gallego Arias (Mar 22 2022 at 18:44):

Indeed I had muted it, thanks!

view this post on Zulip Emilio Jesús Gallego Arias (Mar 22 2022 at 18:45):

Wow I did that with a keypress, I wonder if I have done that in the past

view this post on Zulip Notification Bot (Mar 22 2022 at 18:45):

Emilio Jesús Gallego Arias has marked this topic as resolved.


Last updated: Jun 11 2023 at 00:30 UTC