# HG changeset patch
# User wenzelm
# Date 1357819356 -3600
# Node ID 7a7e8958b6ef1df8b9317b66e817ab803e868fa4
# Parent  b8ff6d1ee56c037bf817bbb6b6664766109c6f36
scala-2.9.2 is still supported;

diff -r b8ff6d1ee56c -r 7a7e8958b6ef Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Thu Jan 10 13:02:06 2013 +0100
+++ b/Admin/Release/CHECKLIST	Thu Jan 10 13:02:36 2013 +0100
@@ -7,6 +7,8 @@
 
 - test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj;
 
+- test scala-2.9.2;
+
 - test Proof General 4.1, 3.7.1.1;
 
 - check HTML header of library;