------- Additional Comments From bangerth at dealii dot org  2005-08-09 17:01 
-------
(In reply to comment #11) 
> I was also able to pin down the patch that triggered/exposed this problem: 
>  
> 2005-07-09  Diego Novillo  <[EMAIL PROTECTED]> 
 
I'm not sure what relationship this patch has wrt this PR -- I filed the PR 
on 2005-06-28, so before Diego's patch. It may well have exposed a separate 
problem, though. 
 
W. 

-- 


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

Reply via email to