Hi, because of that unwanted merge while the patch for issue 3992 was pushed, i'm not sure what to do with my own patch for issue 4008.
Should I wait before I push myself? Cheers, Harm _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
