Bernhard Herzog <bh at intevation.de> writes: > Not necessary. I submitted a bugreport when this came up the last time > and it has been fixed in CVS since then. You are right; I was using an old copy. Regards, Martin