- From: Tab Atkins Jr. via GitHub <sysbot+gh@w3.org>
- Date: Thu, 16 Jun 2022 22:29:53 +0000
- To: public-css-archive@w3.org
Right, we have dashed-idents specifically for the case where we're mixing them with CSS-defined idents (or would otherwise have parsing ambiguities for some other reason). This is 100% one of those cases, so dashed-ident is required. -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/7374#issuecomment-1158193115 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 16 June 2022 22:29:54 UTC