diff -r 84145953b2a5 -r 64cc44f56e1c Admin/components/main
--- a/Admin/components/main	Tue Oct 15 21:05:35 2019 +0200
+++ b/Admin/components/main	Wed Oct 16 12:23:09 2019 +0200
@@ -14,7 +14,7 @@
 opam-2.0.3-1
 polyml-5.8
 postgresql-42.2.5
-scala-2.12.7
+scala-2.12.10
 smbc-0.4.1
 spass-3.8ds-1
 sqlite-jdbc-3.27.2.1