# HG changeset patch
# User wenzelm
# Date 1295347331 -3600
# Node ID 5a3696574ebb1a4dadf0b5668282261d71028e96
# Parent  351aa5f7d130d2c01cfc1af1c295e1830cedf30b
more notes on final release stage;

diff -r 351aa5f7d130 -r 5a3696574ebb Admin/CHECKLIST
--- a/Admin/CHECKLIST	Mon Jan 17 23:04:35 2011 +0100
+++ b/Admin/CHECKLIST	Tue Jan 18 11:42:11 2011 +0100
@@ -57,3 +57,5 @@
 
 - makedist: REPOS_NAME="isabelle-release"
 
+- isatest@macbroy28:devel-page/content/index.content
+