[wiki] GitMirrors page is out of date...

[Pedro Alves]

On 02/10/2014 08:03 AM, Joel Brobecker wrote:
> Hello,
> 
> I just happened to notice that we have a GitMirrors page in our Wiki,
> which has become obsolete now that we've switched to git.
> 
> The page mentions the old mirror on sourceware.org, and one maintained
> by Sergio. Should we update the page, or just get rid of it?

Update it, IMO.  (As long as the repro still exists, which I
think it should, due to the fact that we have references to
hashes in that repro in bugzilla and the mailing lists.)
Well, I just went ahead and did it.

-- 
Pedro Alves