Re: [csswg-drafts] [css-gcpm-3] Remove duplicate definitions of <string()> (#9320)

(Merging this, even tho I'm not the editor, as this affects data outside of CSS and should be resolved quickly.)

-- 
GitHub Notification of comment by tabatkins
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/9320#issuecomment-1710857890 using your GitHub account


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

Received on Thursday, 7 September 2023 22:49:43 UTC