pushed as c73b41b3e7be6d7280c6336cf03610cd7aed3000 - thanks for review! I'll post a follow-up patch later today.
https://codereview.appspot.com/108110044/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
