[csswg-drafts] Pull Request: [css-animations-2] Fix custom-ident to dashed-ident for animation-timeline

• From: Devon Govett via GitHub <sysbot+gh@w3.org>
• Date: Fri, 17 May 2024 16:27:43 +0000
• To: public-css-archive@w3.org
• Message-ID: <pull_request.opened-1875925605-1715963261-sysbot+gh@w3.org>

devongovett has just submitted a new pull request for https://github.com/w3c/csswg-drafts:

== [css-animations-2] Fix custom-ident to dashed-ident for animation-timeline ==
In #8746 it was resolved to switch from `<custom-ident>` to `<dashed-ident>` for timeline names, and this was done in the grammar in 9f39808. However, further down in the spec, it still shows `<custom-ident>`

See https://github.com/w3c/csswg-drafts/pull/10348


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Friday, 17 May 2024 16:27:44 UTC