Re: git is live

Paul Smith
2013-11-08T19:10:09Z

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...?