# HG changeset patch
# User wenzelm
# Date 1296468902 -3600
# Node ID fcd67ce9810b3377bbdcdc1fdbfdfcf4b2e1415f
# Parent  a23ca60625ef9e62d7a6e58fc84d110adbfc590e
tuned;

diff -r a23ca60625ef -r fcd67ce9810b Admin/CHECKLIST
--- a/Admin/CHECKLIST	Mon Jan 31 11:14:05 2011 +0100
+++ b/Admin/CHECKLIST	Mon Jan 31 11:15:02 2011 +0100
@@ -52,12 +52,12 @@
 Final release stage
 ===================
 
+- makedist: REPOS_NAME="isabelle-release"
+
 - hgrc: default = /home/isabelle-repository/repos/isabelle-release
 
   isatest@macbroy28:hg-isabelle/.hg/hgrc
   isatest@atbroy102:hg-isabelle/.hg/hgrc
 
-- makedist: REPOS_NAME="isabelle-release"
-
 - isatest@macbroy28:devel-page/content/index.content