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)