Martin Vermeer <[EMAIL PROTECTED]> writes:

> This is not renaming, it's re-titling :-)

I thought briefly about an alternative to rename, and failed. But I am
not sure I prefer re-title. Rephrase?

JMarc

Reply via email to