Re: [RFAv3 3/3] NEWS and documentation for $_gdb_setting and $_gdb_int_setting.

Eli Zaretskii
2019-07-06T11:22:07Z

> From: Philippe Waroquiers <philippe.waroquiers@skynet.be>
> Cc: Philippe Waroquiers <philippe.waroquiers@skynet.be>
> Date: Sat, 6 Jul 2019 12:49:47 +0200
>
> gdb/ChangeLog
> 2019-06-07 Philippe Waroquiers <philippe.waroquiers@skynet.be>
>
> * NEWS: Mention $_gdb_setting and $_gdb_int_setting.
>
> gdb/doc/ChangeLog
> 2019-06-07 Philippe Waroquiers <philippe.waroquiers@skynet.be>
>
> * gdb.texinfo (Convenience Funs): Document the new
> $_gdb_setting and $_gdb_int_setting convenience functions.

The documentation part of the patch is OK, but see a single comment
about that in my other message.

Thanks.