The patch fixes the PR on x86_64-apple-darwin15.

> OK for stage1 trunk?

What it the reason to delay the fix for a couple of months?

Thanks for working on the issue.

Dominique

Reply via email to