# HG changeset patch
# User wenzelm
# Date 1406467782 -7200
# Node ID c0fd03d13d28954f6b7018f273b6edb17fcdeaf7
# Parent  8ccc4875fe4faf84e364450d234a5bf028af595d
tuned;

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;