+2019-08-03 Philippe Waroquiers <philippe.waroquiers@skynet.be>
+
+ * gdb.texinfo (Symbols): Document new args -dirname and -basename
+ of "info sources" command.
+
2019-07-30 Christian Biesinger <cbiesinger@google.com>
* python.texi (Symbols In Python): Document new function