On Sat 2019-01-19 00:01 +0100, John Mandereau wrote: > I merged GUB PRs 53 and 54 (with respective revisions c410c4b and > d1c9a24, which are older than current ones)
I didn't realize Github lists commits of a pull request in chronological order, the opposite of "git log", so please ignore that claim about "older revisions" of PRs. I've started rebuilding with PRs 53, 54, 55, 56, after having deleted directory target/. Best -- John Mandereau _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
