On Nov 24, 2011, at 9:50 AM, David Kastrup wrote: > > So the question stays: what command did you execute on what branch? >
I think I may have just fixed the problem - could you please check? My branch was called dev/staging, so I executed git push origin dev/staging. Cheers, MS _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
