----- Original Message -----
From: "Jonas Hahnfeld" <hah...@hahnjo.de>
To: "Phil Holmes" <m...@philholmes.net>; "Devel" <lilypond-devel@gnu.org>
Cc: "David Kastrup" <d...@gnu.org>; "Han-Wen Nienhuys" <hanw...@gmail.com>
Sent: Tuesday, April 07, 2020 3:55 PM
Subject: Re: Latest GUB error
Okay, so this is finally the foreseen problem in current master and
release/unstable when installing from a separate directory. This needs
a fix in LilyPond.
I think we can either revert the "offending" commit (which has
conflicts, see other thread on lilypond-devel) or take a minimum of
https://codereview.appspot.com/549810043. I'd prefer the latter, but
that would require a rather quick consensus and pushing outside of the
usual review cycle.
Jonas
Is anyone actively opposing that patch? If it fixes the build and there is
no opposition I think it should be pushed.
--
Phil Holmes
