On Fri, 2013-11-08 at 10:22 -0800, H.J. Lu wrote: > > I see it here: > > > > https://sourceware.org/bugzilla/show_bug.cgi?id=16140#c2 > > > > Tom > > It took about 20 minutes. It also appears to have been added twice...?