Admin/Release/CHECKLIST

--- a/Admin/Release/CHECKLIST	Tue Nov 01 14:59:50 2016 +0100
+++ b/Admin/Release/CHECKLIST	Tue Nov 01 15:00:27 2016 +0100
@@ -88,6 +88,9 @@
 - Admin/cronjob/self_update:
   http://bitbucket.org/isabelle_project/isabelle-release
 
+- src/Pure/Admin/isabelle_cronjon.scala:
+  isabelle_repos_source = isabelle_release_source
+
 
 Post-release
 ============