Great, we'll upgrade. On Mon, Jul 8, 2013 at 7:58 PM, <reportbug.deb...@moritz.augsburger.name>wrote:
> On 2013-07-08 06:41, reportbug.deb...@moritz.augsburger.name wrote: > > according to > > > https://gnu.googlesource.com/gcc/+/724fcbc302453e801b823c317a1f729a1e3e3dd1 > > it got at least implemented, but still not in the official tree. > > I have to correct myself, it's in 4.8.x. > -- Håkan Ardö