--- a/src/Pure/Admin/build_status.scala Sat Nov 04 16:48:51 2023 +0100
+++ b/src/Pure/Admin/build_status.scala Sat Nov 04 16:56:54 2023 +0100
@@ -62,7 +62,8 @@
Build_Log.private_data.universal_table.select(columns, distinct = true, sql =
SQL.where_and(
- Build_Log.private_data.pull_date(afp).ident + " > " + Build_Log.private_data.recent_time(days(options)),
+ Build_Log.private_data.pull_date(afp).ident + " > " +
+ Build_Log.private_data.recent_time(days(options)),
Build_Log.private_data.status.member(
List(
Build_Log.Session_Status.finished.toString,