Closed: [csswg-drafts] [css-highlight-api] should priority be a floating point number or an integer? (#4592)

• From: Sanket Joshi via GitHub <sysbot+gh@w3.org>
• Date: Wed, 24 Mar 2021 21:52:10 +0000
• To: public-css-archive@w3.org
• Message-ID: <issues.closed-537372943-1616622729-sysbot+gh@w3.org>

sanketj closed this issue. See https://github.com/w3c/csswg-drafts/issues/4592

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

Received on Wednesday, 24 March 2021 21:52:11 UTC