web/3044: Gnatsweb no longer working without Javascript

[gerald@gcc.gnu.org]

Synopsis: Gnatsweb no longer working without Javascript

State-Changed-From-To: analyzed->closed
State-Changed-By: gerald
State-Changed-When: Thu Jun  7 04:42:56 2001
State-Changed-Why:
    Fixed, properly (instead of the original workaround), by
    upgrading to gnatsweb 2.8.1.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3044&database=gcc