Closed: [csswg-drafts] [css-highlight-api-1] Use custom-ident instead of custom-highlight-name (#9483)

• From: Guillaume via GitHub <sysbot+gh@w3.org>
• Date: Thu, 14 Nov 2024 20:06:05 +0000
• To: public-css-archive@w3.org
• Message-ID: <issues.closed-1948141380-1731614763-sysbot+gh@w3.org>

cdoublev closed this issue. See https://github.com/w3c/csswg-drafts/issues/9483

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

Received on Thursday, 14 November 2024 20:06:06 UTC