- From: Bramus! via GitHub <sysbot+gh@w3.org>
- Date: Tue, 25 Apr 2023 18:33:07 +0000
- To: public-css-archive@w3.org
Cool. Then definitely OK with using `<dashed-ident>`. Would also like the resolution to include that from now, in general, dashed-idents are the recommended way to name things. -- GitHub Notification of comment by bramus Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/8746#issuecomment-1522233653 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 25 April 2023 18:33:09 UTC