What to do with newlib git mirror?

[Yaakov Selkowitz]

On Wed, 2015-03-18 at 15:19 -0500, Joel Sherrill wrote:
> Hi
> 
> Now that newlib is actually in git, shouldn't this be removed?
> 
> https://sourceware.org/git/?p=newlib.git;a=summary

Yes, IMO it should be removed.

-- 
Yaakov Selkowitz
Associate Software Engineer, ARM
Red Hat, Inc.