>
> That explains it - the server I'm developing on is quite old - I
didn't
> realise how old. I'm about to do an upgrade from 7.1.3 to 7.2.1-5
over
> christmas in fact.
>
> Will I need to dump/restore the database for this upgrade?
>
I'm not sure. But I think it's never ever a bad idea to do a dump
before any kind of upgrade.
Regards, Christoph