------- Comment #8 from pinskia at gcc dot gnu dot org 2006-06-07 22:12 ------- Bangerth, why did you change the Priority? That is the job of the Release manager.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |bangerth at dealii dot org
Priority|P1 |P3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27826
