On Fri, Oct 25, 2013 at 01:56:20PM -0700, Roland McGrath wrote: > That seems to be the wrong bug number, and you didn't include it in the log > entry. So I have no context to tell me what this is trying to fix. A correct entry is here. https://sourceware.org/bugzilla/show_bug.cgi?id=15592