# HG changeset patch
# User wenzelm
# Date 1428486755 -7200
# Node ID 550b74e9b08c900dfbc443b408c3d6180ee381c5
# Parent  8c49daca5d9fdcfa4ff95ad3e294e8a2ab3b11e0
tuned;

diff -r 8c49daca5d9f -r 550b74e9b08c Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Wed Apr 08 11:13:53 2015 +0200
+++ b/Admin/Release/CHECKLIST	Wed Apr 08 11:52:35 2015 +0200
@@ -1,7 +1,7 @@
 Checklist for official releases
 ===============================
 
-- check latest polyml, smlnj, jdk, scala, jedit;
+- check latest updates of polyml, smlnj, jdk, scala, jedit;
 
 - check Admin/components;