Re: Obsolete picochip-* in 4.7.2+

2012-09-12 Thread Richard Guenther
On Tue, Sep 11, 2012 at 5:21 PM, Jakub Jelinek ja...@redhat.com 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

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 ja...@redhat.com *

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 Jelinekja...@redhat.com *