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

Joel Brobecker
2011-09-04T17:17:14Z

Hello,

> gdb/doc/ChangeLog:
>
> * gdb.texinfo: Set EDITION to "Tenth" and change ISBN.

I got confirmation from the FSF a couple of days ago that the changes
were correct for them as well. So the change has now been checked in
HEAD + branch.

--
Joel