[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Today's problem with GUB build
From: |
Jonas Hahnfeld |
Subject: |
Re: Today's problem with GUB build |
Date: |
Wed, 15 Jul 2020 17:31:41 +0200 |
User-agent: |
Evolution 3.36.4 |
Am Mittwoch, den 15.07.2020, 16:26 +0100 schrieb Phil Holmes:
> Here's the lilypond-doc.log zipped.
Do you happen to still have out/lybook-db/snippet-names-
bcc309d5e1e5a6301f36814c1d4d872c.log around? In any case, it's odd that
you're seeing issues with the very same base commit as 2.21.3
> I was doing a new release to get the documentation on the website looking
> correct again.
As I said: This won't be the case with the current release/unstable
because it doesn't have my fix merged. In my opinion, we need to merge
https://gitlab.com/lilypond/lilypond/-/merge_requests/246 to master and
then do another release from there.
> We've had problems in the past if the build number is not
> incremented.
>
> If I don't get problems I can easily do another release with the updates you
> mentioned. If I get me act together, I plan to do a release every couple of
> weeks anyway.
>
> --
> Phil Holmes
>
>
> ----- Original Message -----
> From: "Jonas Hahnfeld" <
> hahnjo@hahnjo.de
> >
> To: "Phil Holmes" <
> email@philholmes.net
> >; "Devel" <
> lilypond-devel@gnu.org
> >
> Sent: Wednesday, July 15, 2020 4:09 PM
> Subject: Re: Today's problem with GUB build
>
>
signature.asc
Description: This is a digitally signed message part
- Today's problem with GUB build, Phil Holmes, 2020/07/15
- Re: Today's problem with GUB build, Jonas Hahnfeld, 2020/07/15
- Re: Today's problem with GUB build, Phil Holmes, 2020/07/15
- Re: Today's problem with GUB build,
Jonas Hahnfeld <=
- Re: Today's problem with GUB build, Phil Holmes, 2020/07/15
- Re: Today's problem with GUB build, Jonas Hahnfeld, 2020/07/15
- Re: Today's problem with GUB build, David Kastrup, 2020/07/15
- Re: Today's problem with GUB build, Jonas Hahnfeld, 2020/07/15
- Re: Today's problem with GUB build, David Kastrup, 2020/07/15
- Re: Today's problem with GUB build, David Kastrup, 2020/07/15
- Re: Today's problem with GUB build, Jean Abou Samra, 2020/07/16
- Re: Today's problem with GUB build, Jean Abou Samra, 2020/07/16
- Re: Today's problem with GUB build, Han-Wen Nienhuys, 2020/07/16
- Re: Today's problem with GUB build, David Kastrup, 2020/07/16