revert-buffer should eliminate overlays and the mark

diff --git a/etc/TODO b/etc/TODO
index 7d4c5d34980481bec4e25b22def5e8ed461b0e3a..cfd8dba2ec264e6dc3955604705e8a177b606603 100644 (file)
--- 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,