# HG changeset patch
# User wenzelm
# Date 1495012339 -7200
# Node ID d70d2d68f7f0413ac7db4ed7d260d4aca95fa2a6
# Parent  861a3ee712dd2ed9a1e7f62b3c8f8e2d8c9ab3b8
proper order for entry list cons;

diff -r 861a3ee712dd -r d70d2d68f7f0 src/Pure/Admin/build_status.scala
--- 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)
     }
   }