It also fixes pr78983 and partially pr80235. Thanks
Dominique > Le 27 déc. 2017 à 19:04, Thomas Koenig <tkoe...@netcologne.de> a écrit : > > Hi Paul, > > by the way, the patch is OK for trunk. It is just gcc-7 that I am > worried about. > > Regards > > Thomas