>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:

John> Personally I disagree. It's not OK to "needlessly" change the
John> menu names in the middle of the fix series. It means people used
John> to the way they look will suddenly have to start reading them
John> again - a jolting experience for such a small upgrade.

John> Like everyone else I agree this should definitely be in 1.2.0cvs
John> though

OK, I'll make the change in 1.2.0cvs anyway.

Reply via email to