On 12/06/2017 13:57, Jonathan Wakely wrote: >> Ok to commit ? > > OK, thanks. > Done yesterday. I guess that considering the compiler bug and rare occasions for this bug to show up we don't backport. François