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


Reply via email to