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 [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
