# HG changeset patch
# User wenzelm
# Date 1428836971 -7200
# Node ID 7fcbdc4aeb8e10e66a6258aeb4d4fb4bf397a02c
# Parent  9cecf02bf65be52ac1022ca54c5671eaa789e04c
tuned;

diff -r 9cecf02bf65b -r 7fcbdc4aeb8e Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sun Apr 12 12:45:06 2015 +0200
+++ b/Admin/Release/CHECKLIST	Sun Apr 12 13:09:31 2015 +0200
@@ -47,8 +47,7 @@
 - test contrib components:
     x86_64-linux without 32bit C/C++ libraries
 
-- check "Handler catches all exceptions", using
-  PolyML.Compiler.reportExhaustiveHandlers := true;
+- check "Handler catches all exceptions"
 
 - Mac OS X: check app bundle with Retina display;