ok. The @warning{} suggestion was aimed at making it much more visible,
but if you think it's visible enough as-is then I'm not going to
complain -- if we use too many @warning{}s then they'll lose their
effectiveness.https://codereview.appspot.com/6206071/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
