On Sat, Oct 29, 2011 at 08:43:20AM +0200, David Kastrup wrote: > > After having my local staging up-to-date, > I just pushed staging~1 to origin/dev/staging.
thanks, checked and pushed to master. since the whole point of dev/staging is that it gets automatically checked and pushed, there's no way (and no desire to implement) select dev/staging~1 on my end. - Graham _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
