On Tue, Oct 16, 2012 at 09:02:18AM +0100, Phil Holmes wrote: > It's a common header, used on all the web pages, and therefore uses the same > version number throughout. Non-trivial to change.
Shouldn't it be v2.16, though? It's safer to point to v2.16 rather than v2.17. - Graham _______________________________________________ bug-lilypond mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-lilypond
