Implement -exec-jump

[Eli Zaretskii]

> From: Vladimir Prus <vladimir@codesourcery.com>
> Date: Wed, 8 Apr 2009 11:08:16 +0400
> Cc: gdb-patches@sources.redhat.com
> 
> > It is okay to _post_ a patch for review saying that the documentation
> > patch will be _posted_ later, but actually _committing_ the code part
> > is something very different.
> 
> Is this rule documented anywhere?

I don't know, and I didn't know every request needs a documented rule.

I at least thought it was an accepted truism that we as a team don't
want undocumented features.

> Do you think having a window of time where *development version*
> has an undocumented feature that is primary targeted at *frontend developers*
> is worse than not having that feature at all?

Yes, that's what I think.