Re: Patch for gdb/mi problem 702

Eli Zaretskii
2002-11-09T22:02:02Z

> Date: Fri, 08 Nov 2002 16:42:14 -0500
> From: "J. Johnston" <jjohnstn@redhat.com>
> >
> > Just get an ok from Eli on this one.
> >
> > Andrew
>
> I have attached the requested doc change. Eli, ok to commit?

Yes, thanks.