Bugzilla and setting priorities

[Richard Earnshaw]

On Fri, 2010-01-29 at 11:26 +0000, Dave Korn wrote:
> On 29/01/2010 11:03, Richard Guenther wrote:
> 
> > This should ideally be documented in
> > http://gcc.gnu.org/bugs/management.html
> 
>   Both the way that page is named, and the way the link to it is indented
> under the link to the BZ frontpage in the side navbar on the gcc.gnu.org front
> page, make it look very much like it's intended for BZ admins, rather than
> ordinary bug-reporting users.  Maybe that needs a bit of tweaking too?  Or
> perhaps a prominent link from the "How to report" page?
> 
>     cheers,
>       DaveK
> 

We have three categories of users of BZ: RMs, Developers, and the rest.
Developers are *not* the same as the rest and that extends beyond the
ability to modify bug reports.

R.