src/Pure/Admin/isabelle_cronjob.scala

--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Dec 04 16:11:52 2018 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Dec 05 19:42:40 2018 +0100
@@ -75,7 +75,7 @@
   val build_release =
     Logger_Task("build_release", logger =>
       {
-        Isabelle_Devel.release_snapshot(
+        Isabelle_Devel.release_snapshot(logger.options,
           rev = get_rev(), afp_rev = get_afp_rev(), remote_mac = "macbroy30")
       })