src/Pure/Admin/isabelle_cronjob.scala

--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed May 10 11:13:18 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed May 10 17:24:31 2017 +0200
@@ -95,7 +95,7 @@
       (if (detect == "") "" else " AND " + SQL.enclose(detect))
 
     def profile: Build_Status.Profile =
-      Build_Status.Profile(description, sql)
+      Build_Status.Profile(description, history, sql)
 
     def pick(options: Options, rev: String = ""): Option[String] =
     {