GDB 9.1 release -- 2019-11-01 Update

[Philippe Waroquiers]

On Sun, 2019-11-03 at 17:16 -0800, Joel Brobecker wrote:
> Completed since the last update (2019-10-12):
> ---------------------------------------------
Note that I pushed 
https://sourceware.org/ml/gdb-patches/2019-10/msg01123.html
Convenience functions $_gdb_setting/$_gdb_setting_str.


If there is some more review bandwidth before 9.1, here are the list
of remaining pending patches:


RFC Have an option to tell GDB to detect and possibly handle mismatched exec-files
https://sourceware.org/ml/gdb-patches/2019-09/msg00580.html

Allow the user to define default leading args for commands and aliases
https://sourceware.org/ml/gdb-patches/2019-09/msg00583.html

Implement 'print -raw-values' and 'set print raw-values on|off'
https://sourceware.org/ml/gdb-patches/2019-09/msg00582.html

More flexible user-defined commands prefixing and naming.
https://sourceware.org/ml/gdb-patches/2019-09/msg00588.html

Thanks

Philippe