+2012-10-17 Glenn Morris <rgm@gnu.org>
+
+ * mini.texi (Repetition): Further copyedit.
+
+2012-10-17 Dani Moncayo <dmoncayo@gmail.com>
+
+ * mini.texi (Repetition): Copyedit.
+
2012-10-16 Juri Linkov <juri@jurta.org>
* search.texi (Query Replace): Document multi-buffer replacement