PATCH gnatsweb.pl wrt to optimization/9086: Missing attachment for #9085

[Gerald Pfeifer]

On Sun, 29 Dec 2002, Jeroen van Bemmel wrote:
> Yes, that might help a bit. But I'm sure there are other situations where
> 'submit' detects something wrong,

Yes, you're right.

> can you patch those too?

Given that we want to switch froM GNATS to Bugzilla in the very near
future and that hacking gnatsweb really is rather hard for me (I have
been taking care of it as nobody else did, not because I am very good
or interested in it) I'd really prefer to avoid that.

Gerald
-- 
Gerald "Jerry"   pfeifer@dbai.tuwien.ac.at   http://www.pfeifer.com/gerald/