- From: Xiaocheng Hu via GitHub <sysbot+gh@w3.org>
- Date: Wed, 26 Jul 2023 23:59:07 +0000
- To: public-css-archive@w3.org
I don't see any issue with `<dashed-ident>+`. We should change it so if that's useful. -- GitHub Notification of comment by xiaochengh Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/8837#issuecomment-1652700961 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 26 July 2023 23:59:09 UTC