grou-PING for pending review/feedback for RFA/RFC.

[Philippe Waroquiers]

Instead of sending individual PINGs, I am group-PING the mails.

Thanks
Philippe


18 March
[RFC] option to tell GDB to detect and possibly handle mismatched exec-files.
https://sourceware.org/ml/gdb-patches/2019-03/msg00400.html
(Tom gave 2 pointers to past trials to fix the same problem, Pedro to reply).


31 March
[RFA 0/3] new arguments [-d | -b] [--] [REGEXP] to info sources
https://sourceware.org/ml/gdb-patches/2019-03/msg00777.html
(doc reviewed, OK with minor nits).

4 May
[RFAv3 0/6] Implement | (pipe) command.
https://sourceware.org/ml/gdb-patches/2019-05/msg00130.html
(RFAv3 handles all the comments received from Pedro/Tom/Eli/Abhijit.
doc is OK).

28 April
[RFA 0/3] Convenience functions $_gdb_setting/$_gdb_int_setting
https://sourceware.org/ml/gdb-patches/2019-04/msg00611.html
(doc reviewed by Eli, a few comments that will be handled in the RFAv2).

11 May
[RFAv2 0/3] Implement 'set print frame-info|frame-arguments
https://sourceware.org/ml/gdb-patches/2019-05/msg00281.html
(RFAv2 handles all comments of Tom/Pedro/Andreas/Eli;
doc is OK).

13 April (on hold).
[RFA 0/3] / command : fast way to change setting(s) to run a command
https://sourceware.org/ml/gdb-patches/2019-04/msg00242.html
To be discussed if this is kept, following the work of Pedro
on command option completion.