Seems to be proceeding. I repeat my view that you are a miracle worker :-)
-- Phil Holmes----- Original Message ----- From: "Jonas Hahnfeld" <hah...@hahnjo.de>
To: "Phil Holmes" <em...@philholmes.net> Cc: "Devel" <lilypond-devel@gnu.org> Sent: Monday, July 13, 2020 3:09 PM Subject: Re: GUB failing