Re: GUB failing

[Phil Holmes]

Please push this patch, then I can kick GUB off again.

--
Phil Holmes

_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel