fixed PRs

[Gerald Pfeifer]

On Wed, 19 Feb 2003, Brad Lucier wrote:
> Here are some GNAT PRs that I filed that are fixed now:
>
> 8017: has been bootstrapping since early January.
>
> 6007: This has been fixed.
>
> 4313: This has been fixed.
>
> 4121: This has been fixed.
>
> 732: This has been fixed.

I'm going to close these; thanks!

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