1 files changed, 2 insertions, 0 deletions
diff --git a/etc/TODO b/etc/TODO
index cfd8dba2ec2..7d4c5d34980 100644
--- a/etc/TODO
+++ b/etc/TODO
@@ -37,6 +37,8 @@ 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 cfd8dba2ec2..7d4c5d34980 100644 --- a/etc/TODO +++ b/etc/TODO
@@ -37,6 +37,8 @@ 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
40	** erase-buffer should perhaps disregard read-only properties of text.	42	** erase-buffer should perhaps disregard read-only properties of text.
41		43
42	** Make occur correctly handle matches that span more than one line,	44	** Make occur correctly handle matches that span more than one line,