- From: Chris Lilley via GitHub <sysbot+gh@w3.org>
- Date: Mon, 11 Dec 2023 20:58:18 +0000
- To: public-css-archive@w3.org
I noticed something similar recently. I wanted to see how some recent edits to CSS color 4 looked, and was astonished to see that they were not there, and the draft was dated July! Compare - https://drafts.csswg.org/css-color-4/Overview.html 21 July 2023 - https://drafts.csswg.org/css-color-4/ 28 November 2023 I suspect that the bikeshed file and the (built on GitHub, then mirrored) index.html are being mirrored correctly and the Overview.html is no longer being generated but whatever was on there from before did not get deleted and is still being served. @plinss -- GitHub Notification of comment by svgeesus Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/9698#issuecomment-1850877294 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 11 December 2023 20:58:21 UTC