Johannes, I am not sure if you have push access. If not, send me a git formatted patch and I can push this for you.
james https://codereview.appspot.com/6943053/ _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
