diff -r 8ccc4875fe4f -r c0fd03d13d28 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sun Jul 27 15:25:00 2014 +0200
+++ b/Admin/Release/CHECKLIST	Sun Jul 27 15:29:42 2014 +0200
@@ -32,8 +32,6 @@
 
 - diff NEWS wrt. last official release, which is read-only;
 
-- update https://bitbucket.org/isabelle_project/isabelle-release/wiki/Home
-
 - update https://bitbucket.org/isabelle_project/isabelle-website
 
 - maintain doc/Contents;