On Fri, 13 Jan 2017, Yuri Gribov wrote: > Forgot to mention PR for this: > https://sourceware.org/bugzilla/show_bug.cgi?id=21018 And also: https://sourceware.org/bugzilla/show_bug.cgi?id=19920 -- Joseph S. Myers joseph@codesourcery.com