On Tue, May 15, 2012 at 2:19 PM, Roland McGrath <roland@hack.frob.com> wrote: > Just for paranoia, please verify that a build before and after the change > produces all identical binaries. If it does, then the change is OK. > I compared all DSOes. There are no differences from "objdump -dw". I checked it in. -- H.J.