# HG changeset patch
# User wenzelm
# Date 1520112805 -3600
# Node ID f4b1cf9e70102b0203169adfd21778792e577c10
# Parent  8b61174a3aa251bd5b631c7e501b281ecd429210
proper remote_mac according to Admin/Release/CHECKLIST;

diff -r 8b61174a3aa2 -r f4b1cf9e7010 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Mar 03 21:40:04 2018 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Mar 03 22:33:25 2018 +0100
@@ -59,7 +59,7 @@
     Logger_Task("build_release", logger =>
       {
         Isabelle_Devel.release_snapshot(
-          rev = get_rev(), afp_rev = get_afp_rev(), remote_mac = "macbroy31")
+          rev = get_rev(), afp_rev = get_afp_rev(), remote_mac = "macbroy30")
       })