------- Comment #11 from bangerth at dealii dot org 2006-06-08 17:26 -------
(In reply to comment #8)
> Bangerth, why did you change the Priority? That is the job of the Release
> manager.
Actually, as a remark, I believe this isn't true. Bugmasters have always
adjusted initial priorities of PRs to alert the RM to new bugs that warrant
his attention. Looking at the activity trail of this bug, I didn't see any
priority activity before my change. I certainly wouldn't have upgraded the
PR if anyone had downgraded it before.
That said, I don't care either way. I don't have much time for GCC work these
days so am happy to defer policy decisions to others.
W.
--
bangerth at dealii dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mmitchel at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27826
