On Thu, Jul 14, 2011 at 09:57:19PM +0200, Janek Warchoł wrote: > I attach the patch; I've send it to Mike but he must have missed it. > Anyone with push privileges - push it, please.
Thanks, pushed. Cheers, - Graham _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
