Le 17/12/2022 à 21:07, David Kastrup a écrit :
I'll make a pitch at it.
My original rationale is open for discussion, but there was one; see https://gitlab.com/lilypond/lilypond/-/merge_requests/1761#note_1213670108
OpenPGP_signature
Description: OpenPGP digital signature
