- From: Sanket Joshi via GitHub <sysbot+gh@w3.org>
- Date: Wed, 24 Mar 2021 21:48:47 +0000
- To: public-css-archive@w3.org
sanketj has just labeled a pull request from sanketj for https://github.com/w3c/csswg-drafts as "css-highlight-api-1": == [css-highlight-api] Misc highlight priority fixes based on recent resolutions == [css-highlight-api] Add comment about the default numerical priority for custom highlights. [css-highlight-api] Highlight priority attribute should be long instead of double. [css-highlight-api] Remove text for resolved highlight priority issues. Resolves #4591 #4592 #4593 See https://github.com/w3c/csswg-drafts/pull/6136 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 24 March 2021 21:48:49 UTC