- From: Sebastian Zartner via GitHub <noreply@w3.org>
- Date: Thu, 16 Oct 2025 19:52:43 +0000
- To: public-houdini-archive@w3.org
We generally use `<custom-ident>`s now for author-defined names. So I think we should change that for this case, too. @bfgeek @grorg What do you think? Sebastian -- GitHub Notification of comment by SebastianZ Please view or discuss this issue at https://github.com/w3c/css-houdini-drafts/issues/1077#issuecomment-3412618285 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 16 October 2025 19:52:44 UTC