revert-buffer should eliminate overlays and the mark

diff --git a/etc/TODO b/etc/TODO
index 7d4c5d3..cfd8dba 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,