Zulip Chat Archive
Stream: mathlib4
Topic: Everything on the queue updated two days ago
Bolton Bailey (Mar 17 2024 at 18:00):
I am looking at the #queue and essentially everything there says it was updated 2 days ago. What caused this?
Ruben Van de Velde (Mar 17 2024 at 18:09):
I don't see that
Markus Himmel (Mar 17 2024 at 18:20):
It's an unfortunate side effect of me accidentally pushing to master two days ago. Sorry about that :oh_no:
Last updated: May 02 2025 at 03:31 UTC