------- Comment #10 from bangerth at dealii dot org 2007-02-16 18:39 ------- This is a duplicate of PR14032, which has more information on the matter than the present one.
W. *** This bug has been marked as a duplicate of 14032 *** -- bangerth at dealii dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |DUPLICATE http://gcc.gnu.org/bugzilla/show_bug.cgi?id=4882