It's challenging to decide when I should nag people (or "clarify the situation") or not.
I thought you always erred on the side of nagging people :-)
- Graham
-- Phil Holmes _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
