"high" priority PRs

[Phil Edwards]

At the bottom of <URL: http://gcc.gnu.org/gnatswrite.html > is a blurb that
the "high" priority is reserved to maintainers.

How is this enforced?  In the last few days, there have been at least one
PR for libstdc++-v3 which arrived as high priority, and clearly wasn't.


(I have a BOFH-ish desire to leave "high" available, but when a user
selects it, to immediately respond with "you probably need to RTFM again,
friend"... let me get more coffee, it'll pass.  :-)

-- 
pedwards at disaster dot jaj dot com  |  pme at sources dot redhat dot com
devphil at several other less interesting addresses in various dot domains
The gods do not protect fools.  Fools are protected by more capable fools.