Paul, I've set the Google Tracker (#4418) to 'needs_work' based on the comments here
https://codereview.appspot.com/236480043/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel