Hi Tom,

On Fri, 2005-11-25 at 12:10 -0700, Tom Tromey wrote:
> This is ok.

Retested and committed to trunk and 4.1 branch.

> I'd like to make sure we can eventually get rid of this override
> though.  At the very least we need to update the existing PR to
> account for this...

I updated the bug report to mention the override files. And the commit
message references the bug number.

Cheers,

Mark