------- Additional Comments From bangerth at dealii dot org 2005-06-21 16:00 ------- Giovanni, I can confirm that your patch for PR 8271 also fixes the problem in this PR. I would be extremely grateful if it would move somewhere... Cheers Wolfgang
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |giovannibajo at gcc dot gnu
| |dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21799
