------- Comment #4 from bangerth at dealii dot org  2008-02-08 21:51 -------
This should get higher priority than P3...


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35138

Reply via email to