On Thu, 14 Dec 2017, Ben Woodard wrote: > Here are the results of that part of the modified tests: What do you get with the exp patch (version 8) that has been approved and now just needs to be committed? -- Joseph S. Myers joseph@codesourcery.com