[csswg-drafts] Pull Request: [css-color-hdr-1] Remove duplicate productions

cdoublev has just submitted a new pull request for https://github.com/w3c/csswg-drafts:

== [css-color-hdr-1] Remove duplicate productions ==
Fixes #11954.

See https://github.com/w3c/csswg-drafts/pull/11955


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 18 March 2025 14:06:31 UTC