Hi Thomas,

>> Regtested on x86_64-unknown-linux-gnu. Ok for trunk?
>
>
> This looks all right to me (although I'm not really an expert :-)
>
> OK, and thanks for the patch!

thanks for the review. Committed as r191870.

Cheers,
Janus

Reply via email to