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 [email protected] https://lists.gnu.org/mailman/listinfo/bug-lilypond
