[PATCH] Fix 'Undefined command' error message

[Eli Zaretskii]

> Date: Thu, 24 Nov 2005 10:31:15 +0000
> From: Andrew STUBBS <andrew.stubbs@st.com>
> Cc: gdb-patches@sources.redhat.com
> 
> >>So if "u+1" returned 'unknown command "u+1"' instead, I think that
> >>would be an acceptable change, especially if it reduces some
> >>special-cases in the handling of commands.
> > 
> > 
> > Thanks.  Yes, I agree with that.
> > 
> > Andrew, does this resolve your doubt about how to go about this issue?
> 
> Yes, I think so. But just to comfirm, you are giving me permission to 
> commit the patch as it is?

If the "u+1" issue is the only reason that prevented that (I simply
forgot what exactly you said in your original message, sorry), then
yes, you can commit the patches now.