On 6/17/20, Michael Käppler <xmichae...@web.de> wrote: > Do you have > https://gitlab.com/lilypond/lilypond/-/merge_requests/148/diffs?commit_id=c002d5e8c2e737cefbafa84f4b66e4b3bbc6d111 > in your repo? Otherwise that may well be the problem. Jonas wanted to > push this one yesterday, > but it seems that did not happen yet.
Nope, even with this applied, it still fails at the same point. Thanks for giving me hope, even for a minute :-) Cheers, -- V.
