+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
+ gdb.lookup_static_symbol.
+
2019-07-29 Christian Biesinger <cbiesinger@google.com>
* python.texi (Objfiles In Python): Document new functions