Re: [csswg-drafts] [css-highlight-api-1] Rename HighlightsRegister to HighlightRegistry (#6003)

@frivoal I'm going to go ahead and merge this since it is just a rename and largely editorial. Let me know if you have any concerns. I can always put in a follow up change.

-- 
GitHub Notification of comment by sanketj
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/6003#issuecomment-783125179 using your GitHub account


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

Received on Monday, 22 February 2021 06:32:26 UTC