Ubuntu 14 for both. I would expect Ubuntu 16 to work but have not tried it.
--
Phil Holmes
----- Original Message -----
From: Knut Petersen
To: Phil Holmes ; David Kastrup
Cc: lilypond-devel ; Masamichi Hosoda
Sent: Monday, July 09, 2018 10:53 AM
Subject: Re: GUB
Am 09.07.2018 um 10:19 schrieb Phil Holmes:
FWIW I can accept pull requests for the GUB repo, so if anybody has a patch
that should be applied, I can get the patch into the build system.
Which version of which distribution are you using on the computer running
GUB?
Which version of the distribution did you use for the bootstrap of GUB?
Knut
_______________________________________________
lilypond-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/lilypond-devel
