Re: [w3c/editing] Add revised OS custom format naming. (#316)

Thanks @dway123 for all the feedback!

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

Received on Thursday, 22 July 2021 01:08:04 UTC