Pushed as 8dec1b16ae6daff5b9a0f9fb806db66cf87bc5bd
Thanks. Closing this one. James http://codereview.appspot.com/4629073/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
