# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1133145492 0
# Node ID fef1a2442ef27d2a46a86f299e7c5891bf9520d2
# Parent  07c0d164f12585eb7d60bc6c005dfbc7456712d7
*** empty log message ***

diff -r 07c0d164f125 -r fef1a2442ef2 etc/TODO
--- a/etc/TODO	Mon Nov 28 01:54:00 2005 +0000
+++ b/etc/TODO	Mon Nov 28 02:38:12 2005 +0000
@@ -9,6 +9,8 @@
 
 * Small but important fixes needed in existing features:
 
+** revert-buffer should eliminate overlays and the mark.
+
 ** Make occur correctly handle matches that span more than one line,
    as well as overlapping matches.