Thanks. I've now pulled your GUB update so that bit should be OK next time.
-- Phil Holmes----- Original Message ----- From: "Jonas Hahnfeld" <[email protected]>
To: "Phil Holmes" <[email protected]> Cc: "Devel" <[email protected]> Sent: Monday, July 13, 2020 5:34 PM Subject: Re: GUB failing
