# HG changeset patch
# User wenzelm
# Date 1556482949 -7200
# Node ID 511352b4d5d32345fe88626830e090dfe23ce19c
# Parent  c7fa2b7d2c8aa314b9e9cd9b48bd3c34c2393546
tuned -- according to main website;

diff -r c7fa2b7d2c8a -r 511352b4d5d3 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Sun Apr 28 22:20:39 2019 +0200
+++ b/src/Pure/Admin/build_release.scala	Sun Apr 28 22:22:29 2019 +0200
@@ -39,7 +39,7 @@
     def bundle_info(platform: Platform.Family.Value): Bundle_Info =
       platform match {
         case Platform.Family.linux => Bundle_Info(platform, "Linux", dist_name + "_linux.tar.xz")
-        case Platform.Family.macos => Bundle_Info(platform, "Mac OS X", dist_name + "_macos.tar.xz")
+        case Platform.Family.macos => Bundle_Info(platform, "macOS", dist_name + "_macos.tar.xz")
         case Platform.Family.windows => Bundle_Info(platform, "Windows", dist_name + ".exe")
       }
   }