+2018-10-19 Tom Tromey <tom@tromey.com>
+
+ PR tui/18388:
+ * gdb.texinfo (TUI Commands): Remove tabset documentation.
+ (TUI Configuration): Document "set tui tab-width".
+
2018-10-09 Tom Tromey <tom@tromey.com>
* python.texi (Inferiors In Python): Link to "Frames In Python",