------- Comment #6 from rguenth at gcc dot gnu dot org  2005-12-21 17:30 -------
> Finally, we don't have a policy that the opener of a PR has "more
> rights to close it", nor should we.  We should be closing PRs on
> technical grounds.

I agree with that part.


-- 


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

Reply via email to