On Mon, 4 Feb 2002, Robert Dewar wrote: > File a regular bug report using the normal GNATs bug reporting system. Note that you still need to fix the GNAT bug box to point to GNATS rather than to the ACT bug tracking system. -- Joseph S. Myers jsm28@cam.ac.uk