Re: [w3c/selection-api] Fixes https://github.com/w3c/selection-api/issues/170. (PR #172)

Merged #172 into gh-pages.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/selection-api/pull/172#event-12179958996
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/selection-api/pull/172/issue_event/12179958996@github.com>

Received on Wednesday, 20 March 2024 06:07:40 UTC