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

• From: Florian Rivoal via GitHub <sysbot+gh@w3.org>
• Date: Fri, 20 Dec 2019 04:12:21 +0000
• To: public-css-archive@w3.org
• Message-ID: <issues.closed-537368954-1576815140-sysbot+gh@w3.org>

frivoal closed this issue. See https://github.com/w3c/csswg-drafts/issues/4590

Received on Friday, 20 December 2019 04:12:23 UTC