diff -r 46540a2ead4b -r 449a989f42cd Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Fri Dec 22 17:49:51 2017 +0100
+++ b/Admin/Release/CHECKLIST	Fri Dec 22 18:32:59 2017 +0100
@@ -5,8 +5,6 @@
 
 - check Admin/components;
 
-- test 'display_drafts' command;
-
 - test Isabelle/jEdit: print buffer
 
 - test "#!/usr/bin/env isabelle_scala_script";