2017-06-15 15:33 GMT+02:00 Thomas Koenig <tkoe...@netcologne.de>:
> Hi Janus,
>
>> It regtests cleanly on x86_64-linux-gnu. Ok for trunk?
>
>
> OK.
>
> Thanks for the patch!

Thanks, Thomas! Committed as r249227.

Cheers,
Janus

Reply via email to