- From: Michael Good via GitHub <sysbot+gh@w3.org>
- Date: Fri, 28 Apr 2017 16:16:47 +0000
- To: public-music-notation-contrib@w3.org
The following commits were just pushed by mdgood to https://github.com/w3c/musicxml: * 51: Update media types to W3C organization Also addresses issue 50 for uniform type identifiers, issue 185 for zip container media type identification, and issue 191 for an uncompressed file extension. by Michael Good https://github.com/w3c/musicxml/commit/eae457c6fb07378581a078d81b8c64b9b05f5067 * 51: Reorder and reformat for greater clarity by Michael Good https://github.com/w3c/musicxml/commit/0d0f4813b927715cd4ce28e7cc6888b533dd3f5f * 51: Change file suffix to file extension by Michael Good https://github.com/w3c/musicxml/commit/09d1d1856eba033a1849434796a866279f2960d7 * Merge pull request #206 from w3c/51-media-types 51: Update media types to W3C organization by Michael Good https://github.com/w3c/musicxml/commit/7907a80bd410858f23c88fcee4405fea4fcd5754
Received on Friday, 28 April 2017 16:16:54 UTC