Re: Obsolete picochip-* in 4.7.2+

2012-09-12 Thread Richard Guenther
On Tue, Sep 11, 2012 at 5:21 PM, Jakub Jelinek wrote: > Hi! > > As discussed on IRC, the picochip-* port doesn't have an active maintainer > anymore, this patch adds it to deprecated ports for 4.7.2+ so that it can be > removed in > GCC 4.8 unless somebody steps up to maintain it. > > Ok for trun

Re: Obsolete picochip-* in 4.7.2+

2012-09-11 Thread Daniel Towner
Hi! As discussed on IRC, the picochip-* port doesn't have an active maintainer anymore, this patch adds it to deprecated ports for 4.7.2+ so that it can be removed in GCC 4.8 unless somebody steps up to maintain it. Ok for trunk/4.7? 2012-09-11 Jakub Jelinek * config.gcc: Obsolete

Obsolete picochip-* in 4.7.2+

2012-09-11 Thread Jakub Jelinek
Hi! As discussed on IRC, the picochip-* port doesn't have an active maintainer anymore, this patch adds it to deprecated ports for 4.7.2+ so that it can be removed in GCC 4.8 unless somebody steps up to maintain it. Ok for trunk/4.7? 2012-09-11 Jakub Jelinek * config.gcc: Obsolete p