> Le 22 sept. 2023 à 15:51, Dr. Thomas Tensi <t.te...@gmx.de> a écrit : > > Any ideas whether this shall be put on the official lilypond > "change request" list?
It's already there. See https://gitlab.com/lilypond/lilypond/-/issues/3146
> Le 22 sept. 2023 à 15:51, Dr. Thomas Tensi <t.te...@gmx.de> a écrit : > > Any ideas whether this shall be put on the official lilypond > "change request" list?
It's already there. See https://gitlab.com/lilypond/lilypond/-/issues/3146