- 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 https://github.com/w3c/csswg-drafts: == [css-color-hdr] Remove duplicate productions == CSS Color HDR redefines [`<colorspace-params>`](https://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 https://github.com/w3c/csswg-drafts/pull/12007 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 26 March 2025 05:34:49 UTC