On Sun, 14 Jan 2001, Joseph S. Myers wrote: > Isn't this the same as part of my PR web/375? Yes. Since I fixed issue #2 of web/375 and this redundant part was the only part left, I have now closed web/375. I'll try to see what to do about the problem itself. Patches to gnatsweb are certainly welcome. Gerald