+2020-02-09 Tom de Vries <tdevries@suse.de>
+
+ * gdb.base/many-headers.exp: Echo gdb command to gdb.log. Capture gdb
+ command output and paste it into gdb.log. If any, paste catch message
+ to gdb.log.
+
2020-02-07 Tom Tromey <tromey@adacore.com>
PR breakpoints/24915: