- From: Bramus! via GitHub <sysbot+gh@w3.org>
- Date: Mon, 23 Jan 2023 15:39:07 +0000
- To: public-css-archive@w3.org
I see this got fixed in a commit @fantasai pushed, thus closing issue. Naming discussion itself is tracked in https://github.com/w3c/csswg-drafts/issues/8201 -- GitHub Notification of comment by bramus Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/8203#issuecomment-1400556634 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 23 January 2023 15:39:09 UTC