[doc patch] gdbint: XFAIL vs. KFAIL [Re: [patch] gcc KFAILs to XFAILs]

[Eli Zaretskii]

> Date: Mon, 19 Dec 2011 11:49:59 +0100
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> Cc: dje@google.com, brobecker@adacore.com, tromey@redhat.com,        gdb-patches@sourceware.org
> 
> On Thu, 15 Dec 2011 06:21:46 +0100, Eli Zaretskii wrote:
> > > +Known problem of @value{GDBN} itself.  You must specify the @value{GDBN} bug
> > > +report number.
> > 
> > Regarding the "must specify the bug report number": would it make
> > sense to show how to do that, e.g. with an example?
> 
> Is this OK for check-in?

Yes, thanks.