proper order for entry list cons;

--- a/src/Pure/Admin/build_status.scala	Wed May 17 10:49:19 2017 +0200
+++ b/src/Pure/Admin/build_status.scala	Wed May 17 11:12:19 2017 +0200
@@ -37,7 +37,7 @@
           (if (only_sessions.isEmpty) ""
            else " AND " + SQL.member(Build_Log.Data.session_name.ident, only_sessions)) +
           " AND " + SQL.enclose(sql) +
-          " ORDER BY " + Build_Log.Data.pull_date + " DESC")
+          " ORDER BY " + Build_Log.Data.pull_date)
     }
   }