- From: Alan Stearns via GitHub <sysbot+gh@w3.org>
- Date: Wed, 24 Mar 2021 17:13:55 +0000
- To: public-css-archive@w3.org
Given that there is the escape hatch of running through the HighlightRegistry and changing all of the numbers to whatever you like, I am also in favor of integers -- GitHub Notification of comment by astearns Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/4592#issuecomment-806006930 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 24 March 2021 17:13:57 UTC