Re: [PATCH 009/203] what is this code for

Tom Tromey
2021-02-13T19:37:46Z

>>>>> "Tom" == Tom Tromey <tom@tromey.com> writes:

Tom> There's one more failure in nodebug.exp
Tom> that I have yet to track down - in one case, the error message has
Tom> changed.

I've fixed this now as well.

Tom