On 2016/01/23 22:11:03, david.nalesnik wrote:
The patch was pushed after much of the discussion above. Shall I make
another
patch removing the functionality>
Ugh--I mean pushed *before* much of the discussion. https://codereview.appspot.com/222810043/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel