# 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") })