# HG changeset patch
# User wenzelm
# Date 1380810340 -7200
# Node ID ad5e2ed466acce92c039819126b60c5f124951fb
# Parent  797ae756d64dd2612036b3ad93d3daa6ddbea837
tuned;

diff -r 797ae756d64d -r ad5e2ed466ac Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Thu Oct 03 16:15:47 2013 +0200
+++ b/Admin/Release/CHECKLIST	Thu Oct 03 16:25:40 2013 +0200
@@ -57,7 +57,7 @@
 
 - isabelle-release: hg tag;
 
-- isabelle: back to back to post-release mode -- after fork point;
+- isabelle: back to post-release mode -- after fork point;
 
 
 Packaging