This is the mail archive of the
gdb-patches@sources.redhat.com
mailing list for the GDB project.
Re: Proposed patch for gdb/mi 741
> Date: Thu, 12 Dec 2002 16:03:09 -0500
> From: "J. Johnston" <jjohnstn@redhat.com>
> >
> > It's better, but I'd prefer that the text said explicitly that
> > multiple directories should be separated by blanks.
> >
> > (This, of course, raises the issue of directories whose names include
> > blanks ;-)
>
> See the latest attached version.
This is perfect. Please commit it (assuming the code itself was
approved by The Powers That Be).
Thanks!