> From: Elena Zannoni <ezannoni@cygnus.com> > Date: Mon, 21 Aug 2000 12:55:32 -0400 (EDT) > > > Does that mean that we should now replace all occurences of "flathead" > > in gdbmi.texinfo with "GDB/MI"? > > Yes, that would be good. Done.