# HG changeset patch
# User wenzelm
# Date 1540131084 -7200
# Node ID c360f3b603f8b99b7426a056eb0be7a6474c8ef8
# Parent  74f1b0f10b2b578a0b0b9993d143d9eb7af77216
updated PLATFORMS;

diff -r 74f1b0f10b2b -r c360f3b603f8 Admin/PLATFORMS
--- a/Admin/PLATFORMS	Sun Oct 21 09:39:09 2018 +0200
+++ b/Admin/PLATFORMS	Sun Oct 21 16:11:24 2018 +0200
@@ -36,7 +36,8 @@
   x86_64-darwin     Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2)
                     Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1)
                     macOS 10.12 Sierra (macbroy30 MacBookPro6,2)
-                    macOS 10.13 High Sierra
+                    macOS 10.13 High Sierra (!?)
+                    macOS 10.14 Mojave (!?)
 
   x86_64-windows    Windows 7
   x86_64-cygwin     Cygwin 2.10 https://isabelle.sketis.net/cygwin_2018 (x86_64/release)