[RFAv6 3/3] NEWS and documentation for default-args related concept and commands.

[Eli Zaretskii]

> Date: Sat, 16 May 2020 19:19:47 +0200
> From: Philippe Waroquiers via Gdb-patches <gdb-patches@sourceware.org>
> 
> gdb/ChangeLog
> YYYY-MM-DD  Philippe Waroquiers  <philippe.waroquiers@skynet.be>
> 
> 	* NEWS: Mention new default-args commands.  Mention change
> 	to the alias command.

This part is OK.

> +You can tell @value{GDBN} to always prepend some default arguments to
> +the list of arguments provided explicitely by the user when using a
                                  ^^^^^^^^^^^
"explicitly"

OK with these nits fixed.

Thanks.