- From: Michael Good via GitHub <sysbot+gh@w3.org>
- Date: Tue, 21 Feb 2017 15:56:30 +0000
- To: public-music-notation-contrib@w3.org
The following commits were just pushed by mdgood to https://github.com/w3c/musicxml: * 145: Add id xs:ID attributes to many elements by Michael Good https://github.com/w3c/musicxml/commit/9809a07d149c4428585410f022a1d95fc9a37b11 * 145: Add missing id attributes to XSD by Michael Good https://github.com/w3c/musicxml/commit/61c11f921837dbea95a2678628e55610636b550e * 145: Add further missing id attributes to XSD by Michael Good https://github.com/w3c/musicxml/commit/70783b5a539d11728ecdb18179ea22462fe25f4d * Merge pull request #175 from w3c/145-element-ids 145: Add id xs:ID attributes to many elements by Michael Good https://github.com/w3c/musicxml/commit/41550678cae7ba0ca0e31e5d3aaa6803ceefd7af
Received on Tuesday, 21 February 2017 15:56:36 UTC