On 2015-03-01, at 5:24 PM, Joseph Myers wrote: > If this bug was user-visible in a release, there should be a bug filed in > Bugzilla for it (this generally applies when fixing any bug that was > user-visible in a release). https://sourceware.org/bugzilla/show_bug.cgi?id=18068 Dave -- John David Anglin dave.anglin@bell.net