On Fri, Aug 3, 2012 at 10:09 AM, Thomas Koenig <tkoe...@netcologne.de> wrote: > 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). >
I will commit it after verifying that it fixes the problem. Thanks. -- H.J.