Pushed as commit ab85e289fdec993c217bf139893da6407259c6ea
to dev/staging this can be closed now. http://codereview.appspot.com/5295041/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
