Re: GUB failing

[James]

On 02/07/14 11:51, Janek Warchoł wrote:
> Pushed to staging as
>
> commit 7c6becbfa9deba7e58af8780e3ea2627169d5c4e
> Author: Janek Warchoł <address@hidden>
> Date:   Sun Jun 29 22:58:45 2014 +0200
>
>      Rename argument to avoid preprocessor problems
>
> thanks!
> Janek
>
> 2014-07-02 11:12 GMT+02:00 Phil Holmes <address@hidden>:
> > Please push this patch, then I can kick GUB off again.
> >
> > --
> > Phil Holmes
> _______________________________________________
> lilypond-devel mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/lilypond-devel
It's just been pushed to master

James