[PUSHED 0/3] Re: [PATCH] Fix inconsistent input/output of example

[Andrew Burgess <aburgess@redhat.com>]

Nikolaos Chatzikonstantinou,

Thanks, I pushed your patch.  While applying this I spotted some
additional improvements that could be made to the 'info
pretty-printer' example, so I pushed those too.

Here's what I applied.

Thanks,
Andrew

---

Andrew Burgess (2):
  gdb/doc: make use of group/end group in 'info pretty-printers' example
  gdb/doc: use @value{GDBP} in 'info pretty-printer' example

Nikolaos Chatzikonstantinou (1):
  gdb/doc: fix inconsistent info pretty-printer example

 gdb/doc/gdb.texinfo | 28 ++++++++++++++++++----------
 1 file changed, 18 insertions(+), 10 deletions(-)

-- 
2.25.4