- From: Michael Good via GitHub <sysbot+gh@w3.org>
- Date: Fri, 09 Dec 2016 16:48:57 +0000
- To: public-music-notation-contrib@w3.org
The following commits were just pushed by mdgood to https://github.com/w3c/musicxml: * 140: Remove font attributes from extend element by Michael Good https://github.com/w3c/musicxml/commit/291cc83a042deec6b134de1e2b7a18add783b844 * Merge pull request #155 from w3c/140-extend 140: Remove font attributes from extend element by Michael Good https://github.com/w3c/musicxml/commit/d5425c963e112a7b3105ee19eca15344d075e7d9
Received on Friday, 9 December 2016 16:49:04 UTC