I think there were some efforts by Florian to address this upstream. A summary
by Florian would be appreciated.
--
To UNSUBSCRIBE, email to debian-gcc-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 4F9FCBE2.4040806@debian.org">http://lists.debian.org/4F9FCBE2.4040806@debian.org