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

@dway123 approved this pull request.

Thanks, still LGTM.



-- 
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#pullrequestreview-712298484

Received on Thursday, 22 July 2021 01:01:53 UTC