This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: random users making high-priority PRs again
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- To: Phil Edwards <phil at jaj dot com>
- Cc: gcc at gcc dot gnu dot org
- Date: Tue, 9 Jul 2002 09:35:55 +0200 (CEST)
- Subject: Re: random users making high-priority PRs again
On Mon, 8 Jul 2002, Phil Edwards wrote:
> Now, I /know/ that this was fixed once upon a time. What happened?
On problem with gnatsweb that I found is that if I "legally" increase
the priority of a PR, there is no trace thereof in the database. :-(
Could that be the case here?
Gerald
--
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/