[PATCH v3 2/5] Document new {set,show} dump-excluded-mappings commands.

[Eli Zaretskii]

> From: Sergio Lopez <slp@redhat.com>
> Cc: Sergio Lopez <slp@redhat.com>
> Date: Mon,  4 Dec 2017 09:17:13 +0100
> 
> gdb/ChangeLog:
> 2017-11-29  Sergio Lopez  <slp@redhat.com>
> 
> 	* NEWS (Changes since GDB 8.0): Announce {set,show}
> 	dump_excluded_mappings commands.
> 
> gdb/doc/ChangeLog:
> 2017-11-29  Sergio Lopez  <slp@redhat.com>
> 
> 	* gdb.texinfo (gcore): Mention new {set,show}
> 	dump-excluded-mappings commands.
> 	(set dump-excluded-mappings): Document new command.

OK.