- From: Tab Atkins Jr. via GitHub <sysbot+gh@w3.org>
- Date: Wed, 12 Oct 2022 21:00:46 +0000
- To: public-css-archive@w3.org
After the discussion today, I no longer think this is needed. The breakage potential seems higher than I initially thought, and the use-cases less important - generally, new APIs should use dashed-ident rather than custom-ident anyway. (And if it's safe to use custom-ident because it wont' mix with other keywords, like grid line names, then it's safe to name them none/auto/normal as well.) -- GitHub Notification of comment by tabatkins Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/7431#issuecomment-1276732615 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 12 October 2022 21:00:47 UTC