# HG changeset patch
# User wenzelm
# Date 1696879903 -7200
# Node ID 6fad611cb3c48fc8ab2116df932b85387e31dda0
# Parent  b2216709a83911eef5fbf964999e8831ee727e1b
more PLATFORMS;

diff -r b2216709a839 -r 6fad611cb3c4 Admin/components/PLATFORMS
--- a/Admin/components/PLATFORMS	Sun Oct 08 21:15:13 2023 +0200
+++ b/Admin/components/PLATFORMS	Mon Oct 09 21:31:43 2023 +0200
@@ -41,10 +41,12 @@
                     macOS 11 Big Sur (mini1 Macmini8,1)
                     macOS 12 Monterey (laramac01 Macmini8,1)
                     macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2 Pro, 6+4 cores)
+                    macOS 14 Sonoma (???)
 
   arm64-darwin      macOS 11 Big Sur (assur Macmini9,1 -- MacMini M1, 4+4 cores)
                     macOS 12 Monterey (???)
                     macOS 13 Ventura (mini3 Mac14,12 -- MacMini M2 Pro, 6+4 cores)
+                    macOS 14 Sonoma (???)
 
   x86_64-windows    Windows 10
   x86_64-cygwin     Cygwin 3.4.x https://isabelle.sketis.net/cygwin_2023 (x86_64/release)