# HG changeset patch
# User wenzelm
# Date 1606759738 -3600
# Node ID 35d200023993b9b110f6757a7fb1527b77cf84ef
# Parent  26492b600d78fed403249d1f7b6181c2758e76a1
obsolete -- done by Isabelle/PIDE/ML;

diff -r 26492b600d78 -r 35d200023993 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Mon Nov 30 17:10:49 2020 +0100
+++ b/Admin/Release/CHECKLIST	Mon Nov 30 19:08:58 2020 +0100
@@ -45,8 +45,6 @@
 
 - check doc/Contents, src/Tools/jEdit/dist/doc/Contents;
 
-- check "Handler catches all exceptions"
-
 - test old HD display: Linux, Windows, Mac OS X;
 
 - Mac OS X: check recent MacTeX;