Dear Tobias, This is OK for trunk.
Thanks for the patch.
Paul
On 21 October 2013 19:32, Tobias Burnus <bur...@net-b.de> wrote:
> The issue came up while reviewing the patch for PR58793.
>
> Build and regtested on x86-64-gnu-linux
> OK for the trunk?
>
> Tobias
--
The knack of flying is learning how to throw yourself at the ground and miss.
--Hitchhikers Guide to the Galaxy
