Pushed as 72210831b0366cb7c1f7009ba99a56538d68a7e5. Cheers, MS
http://codereview.appspot.com/4639075/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel