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 lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
