diff -r 254c9411fc48 -r dba2ca0e0a53 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Tue Nov 01 00:54:03 2016 +0100
+++ b/Admin/Release/CHECKLIST	Tue Nov 01 00:55:52 2016 +0100
@@ -85,8 +85,8 @@
   default = http://bitbucket.org/isabelle_project/isabelle-release
   default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
 
-- isatest@lxbroy10:hg-isabelle/.hg/hgrc
-- isatest@lxbroy10:devel-page/content/index.content
+- Admin/cronjob/self_update:
+  http://bitbucket.org/isabelle_project/isabelle-release
 
 
 Post-release