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


Reply via email to