Hi Tom, On Mon, 2006-07-31 at 16:00 -0600, Tom Tromey wrote: > This fix is the minimum necessary to achieve correctness.
Thanks for this. It seems correct an indeed minimal. So I checked it in to the release and generics branch. Cheers, Mark
Hi Tom, On Mon, 2006-07-31 at 16:00 -0600, Tom Tromey wrote: > This fix is the minimum necessary to achieve correctness.
Thanks for this. It seems correct an indeed minimal. So I checked it in to the release and generics branch. Cheers, Mark