Subject: bug#23923: 25.0.94; GDB duplicate menu entry

From: Eli Zaretskii <[email-masked]>
Date: Sat, 09 Jul 2016 20:03:10 +0300

> From: Glenn Morris <[email-masked]>
> Cc: Live System User <[email-masked]>,  [email-masked]
> Date: Sat, 09 Jul 2016 12:55:13 -0400
> 
> Eli Zaretskii wrote:
> 
> > These two menu items do exactly the same when the program being
> > debugged was not yet started.
> 
> It ought to be possible to hide one of the entries when the program has
> not been started.

Patches welcome, but please note that this is so in all the variants
of GUD, so should be changed in all of them.

FWIW, I'm not going to lose sleep over this nit.