From mboxrd@z Thu Jan  1 00:00:00 1970
From: gerald@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, gerald@gcc.gnu.org, jsm28@cam.ac.uk
Subject: Re: web/3044: Gnatsweb no longer working without Javascript
Date: Thu, 07 Jun 2001 04:42:00 -0000
Message-id: <20010607114257.30419.qmail@sourceware.cygnus.com>
X-SW-Source: 2001-06/msg00224.html
List-Id: <gcc-prs.sourceware.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