Now pushed. fd7ad42f98d7e6117958a41e74cd736e396fb933 Will appear in 2.13.51.
Many thanks, Mike. http://codereview.appspot.com/4079064/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel
