Re: [w3c/editing] Change the types used on macOS (PR #416)

The changes look good to me, but before we merge this change, we want to discuss with the EditingWG members to see if they have any feedback.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/editing/pull/416#issuecomment-1352188019
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/editing/pull/416/c1352188019@github.com>

Received on Wednesday, 14 December 2022 21:11:21 UTC