Re: [csswg-drafts] [css-highlight-api] CSS.highlights: map vs set? (#4590)

Closed based on a discussion with @sanketj 

-- 
GitHub Notification of comment by frivoal
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/4590#issuecomment-567783173 using your GitHub account

Received on Friday, 20 December 2019 04:31:19 UTC