> From: Tom Tromey <tom@tromey.com> > Cc: tom@tromey.com, gdb-patches@sourceware.org > Date: Sun, 21 Jun 2020 14:23:48 -0600 > > >> > +* GDB will now display a helpful tip when starting up. > >> > + > > Eli> Should this be in the manual? > > Yeah, where would you suggest. The node "Help" sounds like a good place.