"Phil Holmes" <m...@philholmes.net> writes:
>> Normally you'd send a patch, which would be applied to master and
^^^^^^
>> pushed. Given that it's so simple, as you say, I'll do this and push
>> to staging soon.
^^^^^^^
> Pushed to staging as aa5c08ccb3a9bbe3a91c2a22e09880486cebac72
^^^^^^^
And that, as it turns out, is the right thing to do.
--
David Kastrup
_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel
