This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [wiki] GitMirrors page is out of date...
- From: Joel Brobecker <brobecker at adacore dot com>
- To: Pedro Alves <palves at redhat dot com>
- Cc: gdb-patches at sourceware dot org
- Date: Mon, 10 Feb 2014 14:31:03 +0400
- Subject: Re: [wiki] GitMirrors page is out of date...
- Authentication-results: sourceware.org; auth=none
- References: <20140210080321 dot GT5485 at adacore dot com> <52F8A821 dot 9090408 at redhat dot com>
> > 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.
That makes sense, and works for me. Thanks a lot, Pedro!
--
Joel