Admin/Release/CHECKLIST

--- a/Admin/Release/CHECKLIST	Thu Jan 17 17:29:02 2013 +0100
+++ b/Admin/Release/CHECKLIST	Thu Jan 17 17:47:09 2013 +0100
@@ -11,9 +11,9 @@
 
 - test Proof General 4.1, 3.7.1.1;
 
-- check HTML header of library;
+- test 'display_drafts' command;
 
-- check CTRL-C, SIGINT in tty (also for external processes);
+- check HTML header of library;
 
 - check persistent sessions with PG and Poly/ML 5.x;