tuned;

--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Mar 08 13:36:40 2023 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Mar 08 14:21:14 2023 +0100
@@ -116,7 +116,7 @@
 
     db.execute_query_statement(
       Build_Log.Data.select_recent_versions(
-        days = days, rev = rev, afp_rev = afp_rev, sql = "WHERE " + sql),
+        days = days, rev = rev, afp_rev = afp_rev, sql = SQL.where(sql)),
       List.from[Item],
       { res =>
         val known = res.bool(Build_Log.Data.known)