+2012-10-17 Yao Qi <yao@codesourcery.com>
+
+ * observer.texi (GDB Observers): Update observer
+ 'memory_changed'.
+ * gdb.texinfo (GDB/MI Async Records): Document for
+ "memory-changed" notification.
+
2012-10-15 Doug Evans <dje@google.com>
* gdb.texinfo (Mode Options): Document -nh.