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.

Reply via email to