Re: [w3c/editing] Add revised OS custom format naming. (#316) from snianu on 2021-07-22 (public-webapps-github@w3.org from July 2021)

From: snianu <notifications@github.com>
Date: Wed, 21 Jul 2021 17:55:51 -0700
To: w3c/editing <editing@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/editing/pull/316/push/7568185955@github.com>

@snianu pushed 1 commit.

f5d46c027554c2fc9db0d27b487f2042e81e3643  Addressed comments


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/w3c/editing/pull/316/files/26aaf66ef9775c45a99e1d2a88c8fd4f78bf3738..f5d46c027554c2fc9db0d27b487f2042e81e3643

Received on Thursday, 22 July 2021 00:56:03 UTC