Andreas Jaeger wrote: > Should be fixed by Manfred's commit a few minutes ago, > Thanks. I committed the patch from the machine that still had the wrong version. Sorry about that. Diego.