On 09/04/2017 11:26 AM, Richard Biener wrote:
No more pending issues and yes, I guess the fix is ok for the branch.

Ok, thanks! This is now comitted on the 7 release branch.

--
Pierre-Marie de Rodat

Reply via email to