# HG changeset patch
# User wenzelm
# Date 1666737050 -7200
# Node ID 089e546f671f2182e2dc95e8d20a9b5ed6a2841f
# Parent  8c1ba8907c6b26f61de4dbdfb746e837595ba05f
more macOS platforms, without reference hardware;

diff -r 8c1ba8907c6b -r 089e546f671f Admin/components/PLATFORMS
--- a/Admin/components/PLATFORMS	Tue Oct 25 15:13:11 2022 +0200
+++ b/Admin/components/PLATFORMS	Wed Oct 26 00:30:50 2022 +0200
@@ -42,7 +42,9 @@
                     macOS 12 Monterey (laramac01 Macmini8,1)
                     macOS 13 Ventura (???)
 
-  arm64-darwin      macOS 11 Big Sur
+  arm64-darwin      macOS 11 Big Sur (???)
+                    macOS 12 Monterey (???)
+                    macOS 13 Ventura (???)
 
   x86_64-windows    Windows 10
   x86_64-cygwin     Cygwin 3.3.x https://isabelle.sketis.net/cygwin_2022 (x86_64/release)