# HG changeset patch
# User wenzelm
# Date 1699113414 -3600
# Node ID 224aabe156f5c7d056577c32c352eea7eacdafa9
# Parent  c93efa4b2a5016560f2b4cd6f3f6bc63e1cb445d
tuned whitespace;

diff -r c93efa4b2a50 -r 224aabe156f5 src/Pure/Admin/build_status.scala
--- 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,