diff -r 9096895dc2a6 -r a39473b19ee1 Admin/components/main
--- a/Admin/components/main	Fri Apr 20 11:44:09 2018 +0200
+++ b/Admin/components/main	Fri Apr 20 15:40:21 2018 +0200
@@ -12,7 +12,7 @@
 kodkodi-1.5.2
 nunchaku-0.5
 polyml-5.7.1-5
-postgresql-42.1.4
+postgresql-42.2.2
 scala-2.12.5
 smbc-0.4.1
 ssh-java-20161009