------- Additional Comments From bangerth at dealii dot org  2004-10-12 16:07 -------
If this is put under a flag of its own, it may actually be useful. I 
see no reason why we should dismiss it that quickly. 
 
W. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|INVALID                     |


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

Reply via email to