Thomas Koenig Wed, 27 Dec 2017 10:04:32 -0800
Hi Paul, by the way, the patch is OK for trunk. It is just gcc-7 that I am worried about.
Regards Thomas