# HG changeset patch
# User wenzelm
# Date 1554800185 -7200
# Node ID 96776eb418542f233252126f472c4dc3f82abb72
# Parent  4f936de6d9b8559a64fada7ed4bd30c0382e15e6
back to scala-2.12.7 (due to reports about problems with new Mac hardware / OS installations by Jasmin Blanchette and Dmitriy Traytel);

diff -r 4f936de6d9b8 -r 96776eb41854 Admin/components/main
--- a/Admin/components/main	Tue Apr 09 10:51:35 2019 +0200
+++ b/Admin/components/main	Tue Apr 09 10:56:25 2019 +0200
@@ -14,7 +14,7 @@
 opam-2.0.3-1
 polyml-5.8
 postgresql-42.2.5
-scala-2.12.8
+scala-2.12.7
 smbc-0.4.1
 spass-3.8ds-1
 sqlite-jdbc-3.27.2.1
diff -r 4f936de6d9b8 -r 96776eb41854 src/Pure/GUI/color_value.scala
--- a/src/Pure/GUI/color_value.scala	Tue Apr 09 10:51:35 2019 +0200
+++ b/src/Pure/GUI/color_value.scala	Tue Apr 09 10:56:25 2019 +0200
@@ -45,4 +45,3 @@
       }
     }
 }
-