Valentin Villenave wrote Sunday, October 17, 2010 4:57 PM


On Tue, Sep 7, 2010 at 1:01 AM, Trevor Daniels <t.dani...@treda.co.uk> wrote:
Looks good to me. I'll confirm when the GUB
2.13.33 for Windows is available.

sorry for bumping this discussion, but: where are we wrt this problem?

Whoops, sorry, I forgot to report this. Reinhold's patch did fix it.

Do we need to open a tracker page about it?

No need now.

Trevor



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

Reply via email to