On Wed, Oct 20, 2010 at 04:29:16PM +0100, Phil Holmes wrote: > Now approved. http://lsr.dsi.unimi.it/LSR/Item?id=719 . This will > mean deleting snippet 713, since I've renamed this. I always like > to check before doing that - anyone any problems with that deletion?
If the new one has exactly the same name as the previous one, and the previous one is deleted, there shouldn't be any problem. > I don't do this moving to git stuff, I'm afraid..... That's generally done by me or Neil. It would be nice to have a single dedicated person to do this, but that'll be a GOP task. Cheers, - Graham _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-user