Pull request for adding id attributes to elements from Michael Good on 2017-02-15 (public-music-notation-contrib@w3.org from February 2017)

From: Michael Good <mgood@makemusic.com>
Date: Tue, 14 Feb 2017 17:54:50 -0800
To: public-music-notation-contrib@w3.org
Message-Id: <C2932990-7F87-40DE-80E8-E4FBA59550FE@makemusic.com>

Thanks to Jeremy Sawruk for his review of pull request 174 for mixing musical symbols and text! That pull request is now merged.

There is now a pull request for adding optional id attributes to 60 MusicXML elements at:

https://github.com/w3c/musicxml/pull/175 <https://github.com/w3c/musicxml/pull/175>

This is a larger change than most of the other additions for MusicXML 3.1. So it would be great if there could be some review of this pull request to make sure this looks good, or suggest places for improvements. Thanks!

Best regards,

Michael Good
VP of MusicXML Technologies
MakeMusic, Inc.

Received on Wednesday, 15 February 2017 01:55:26 UTC