------- Comment #1 from dfranke at gcc dot gnu dot org 2008-07-24 10:14 ------- Tobias, thanks for opening the PR.
-- dfranke at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |dfranke at gcc dot gnu dot | |org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36915