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

Merged #316 into gh-pages.

-- 
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#event-5053179702

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