Patch counted down - please push. PATCH_PUSH
(if you don't have push access - I can never remember who has and who has not these days) then you can email me a git formatted patch and I can push it for you. https://codereview.appspot.com/264810043/ _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
