[csswg-drafts] Pull Request: [css-ui][editorial] Markup <x> and <y> productions with <dfn> element

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

== [css-ui][editorial] Markup <x> and <y> productions with <dfn> element ==
I could not find the issues mentioned in the message of 9b8f394 in the archives, so I may be missing the reason not to do this change. But it would allow `w3c/reffy` to extract these CSS types.

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


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

Received on Monday, 7 July 2025 13:46:12 UTC