# HG changeset patch
# User wenzelm
# Date 1491318881 -7200
# Node ID 27c1b5e952bdd9d15c3b0cc140418fa076ce439e
# Parent  7fb5aad28f384d620088b67fba8f0d22589922fd
macbroy30 is on 10.12 Sierra (already since 04-Mar-2017) -- discontinued support for 10.8 Mountain Lion;

diff -r 7fb5aad28f38 -r 27c1b5e952bd Admin/PLATFORMS
--- a/Admin/PLATFORMS	Tue Apr 04 16:18:53 2017 +0200
+++ b/Admin/PLATFORMS	Tue Apr 04 17:14:41 2017 +0200
@@ -33,11 +33,10 @@
   x86-linux         Ubuntu 12.04 LTS
   x86_64-linux      Ubuntu 12.04 LTS
 
-  x86_64-darwin     Mac OS X 10.8 Mountain Lion (macbroy30 MacBookPro6,2)
-                    Mac OS X 10.9 Mavericks (macbroy2 MacPro4,1)
+  x86_64-darwin     Mac OS X 10.9 Mavericks (macbroy2 MacPro4,1)
                     Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2)
                     Mac OS X 10.11 El Capitan (?)
-                    macOS 10.12 Sierra (?)
+                    macOS 10.12 Sierra (macbroy30 MacBookPro6,2)
 
   x86-windows       Windows 7
   x86_64-windows    Windows 7