- From: Guillaume via GitHub <sysbot+gh@w3.org>
- Date: Wed, 26 Mar 2025 05:34:48 +0000
- To: public-css-archive@w3.org
cdoublev has just submitted a new pull request for http://github.com/w3c/csswg-drafts: == [css-color-hdr] Remove duplicate productions == CSS Color HDR redefines [`<colorspace-params>`](http://drafts.csswg.org/css-color-hdr-1/#typedef-colorspace-params) with the same value definition than in CSS Color 5. This PR removes it from CSS Color HDR, because duplicate productions are problematic for the tools processing the data extracted from the specs. See http://github.com/w3c/csswg-drafts/pull/12007 -- Sent via github-notify-ml as configured in http://github.com/w3c/github-notify-ml-config
Received on Wednesday, 26 March 2025 05:34:49 UTC