Thomas Davie <tatd2 at kent.ac.uk> writes: > > This commit doesn't seem to have changed/added any actual code... > > Really???? Oh, you are right, sorry. It must be a bug in the script that mails out the commit messages then. (The message didn't mention any of the source files.) Regards, Malcolm