"high" priority PRs

[Mark Mitchell]

>>>>> "Phil" == Phil Edwards <pedwards@disaster.jaj.com> writes:

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

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

It's not enforced, which is very unfortunate.  It would be great if
someone could modify GNATS to do this.

--
Mark Mitchell                   mark@codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com