# HG changeset patch
# User wenzelm
# Date 1337860581 -7200
# Node ID 455a9f89c47dffa43804d0cab59f379d117f93d4
# Parent  6b13451135a97f33c062a5c79c4af5255755ef43
some post-release notes;

diff -r 6b13451135a9 -r 455a9f89c47d Admin/CHECKLIST
--- a/Admin/CHECKLIST	Wed May 23 21:19:48 2012 +0200
+++ b/Admin/CHECKLIST	Thu May 24 13:56:21 2012 +0200
@@ -73,3 +73,9 @@
 - isatest@macbroy28:hg-isabelle/.hg/hgrc
 - isatest@macbroy28:devel-page/content/index.content
 
+
+Post-release
+============
+
+- update /home/isabelle and /home/isabelle/html-data
+