On Sun, Jan 22, 2017 at 7:59 AM, David Nalesnik <david.nales...@gmail.com> wrote: > On Sun, Jan 22, 2017 at 7:45 AM, James <p...@gnu.org> wrote: >> Hello, >> >> David Nalesnik checked in a commit with a new snippet but forgot to push a >> separate makelsr checkin to go with it so merge fails. >> >> Could someone do that as I currently at work today (lucky me) and won't have >> time to do it myself for at least another 3 or 4 hours. >> > > I didn't forget. I didn't think it was necessary: > > The snippet I recently corrected > (https://sourceforge.net/p/testlilyissues/issues/5030/) was never in > Documentation/snippets/ just Documentation/snippets/new. So makelsr > hadn't been run. > - Running makelsr on that (original) snippet should have caused merge > to fail as well.
Because make doc would fail. > > I simply don't understand. > > David _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
