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

Reply via email to