Hi Andreas, thanks for reporting. I added this issue as https://gitlab.com/lilypond/lilypond/-/issues/6213 to the tracker.
A fix is in preparation. Michael Am 04.11.2021 um 17:21 schrieb Andreas K. H. von Rüden:
This should be included.
_______________________________________________ bug-lilypond mailing list bug-lilypond@gnu.org https://lists.gnu.org/mailman/listinfo/bug-lilypond