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

Thank you, @snianu, for helping shepherd this along. https://crrev.com/c/4108170 is in the commit queue and should be landed soon.

Good luck in the larger task of getting this explainer merged upstream.

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

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

Received on Thursday, 12 January 2023 16:49:52 UTC