Hi, > OK for trunk? I will be on holiday starting tomorrow, so I would like to commit this today, if possible (with a mistake in the ChangeLog noted by Uros fixed. Thanks!) If not, somebody please commit this (or another fix). Thomas