> Date: Thu, 25 Mar 2010 11:12:09 -0700 > From: Stan Shebs <stan@codesourcery.com> > CC: Eli Zaretskii <eliz@gnu.org>, tromey@redhat.com, > gdb-patches@sources.redhat.com > > > Is comma actually required per english gramamar, or this is > > texinfo quirk? > > > It's a little of both actually. :-) Right. But mostly, it's a Texinfo quirk.