# HG changeset patch
# User wenzelm
# Date 1477066706 -7200
# Node ID e3b57c8046cbfb5b8e09577270c781b2298b56e8
# Parent  beb3ebb9f5671f10c905684635267e48f43a9545
speculative support for latest Mac OS X versions -- no reference systems yet;

diff -r beb3ebb9f567 -r e3b57c8046cb Admin/PLATFORMS
--- a/Admin/PLATFORMS	Fri Oct 21 17:24:57 2016 +0200
+++ b/Admin/PLATFORMS	Fri Oct 21 18:18:26 2016 +0200
@@ -36,7 +36,8 @@
   x86_64-darwin     Mac OS X 10.8 Mountain Lion (macbroy30)
                     Mac OS X 10.9 Mavericks (macbroy2)
                     Mac OS X 10.10 Yosemite (macbroy31)
-                    Mac OS X 10.11 El Capitan
+                    Mac OS X 10.11 El Capitan (??)
+                    macOS 10.12 Sierra (???)
 
   x86-cygwin        http://isabelle.in.tum.de/cygwin_2015 (x86/release)