Hi Jerry,

ping - I will commit if I hear no objections.

OK for trunk and gcc-7.  I thought Paul had already OK'd it,
which is why I didn't react.

Thanks a lot for the patch!

Regards

        Thomas

Reply via email to