pushed as 5c4b80afe97acbe20199a3aa71a0d63172112f23 David, please close this issue.
thanks! Janek http://codereview.appspot.com/6687044/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel