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
+