[RFA/doco] GDB Manual edition number and ISBN updates

[Eli Zaretskii]

> From: Joel Brobecker <brobecker@adacore.com>
> Cc: Joel Brobecker <brobecker@adacore.com>
> Date: Fri, 19 Aug 2011 09:05:14 -0700
> 
> gdb/doc/ChangeLog:
> 
>         * gdb.texinfo: Set EDITION to "Tenth" and change ISBN.
> 
> OK for HEAD + branch?

Yes, of course.  I trust that you verified the ISBN.