Hi Paul,

by the way, the patch is OK for trunk. It is just gcc-7 that I am
worried about.

Regards

        Thomas

Reply via email to