1 files changed, 0 insertions, 2 deletions
diff --git a/etc/TODO b/etc/TODO
index 7d4c5d34980..cfd8dba2ec2 100644
--- a/etc/TODO
+++ b/etc/TODO
@@ -37,8 +37,6 @@ a window doesn't select it.
 ** buffer-offer-save should be a permanent local.
-** revert-buffer should eliminate overlays and the mark.
 ** erase-buffer should perhaps disregard read-only properties of text.
 ** Make occur correctly handle matches that span more than one line,

diff --git a/etc/TODO b/etc/TODO index 7d4c5d34980..cfd8dba2ec2 100644 --- a/etc/TODO +++ b/etc/TODO
@@ -37,8 +37,6 @@ a window doesn't select it.
37		37
38	** buffer-offer-save should be a permanent local.	38	** buffer-offer-save should be a permanent local.
39		39
40	** revert-buffer should eliminate overlays and the mark.
41
42	** erase-buffer should perhaps disregard read-only properties of text.	40	** erase-buffer should perhaps disregard read-only properties of text.
43		41
44	** Make occur correctly handle matches that span more than one line,	42	** Make occur correctly handle matches that span more than one line,