# HG changeset patch
# User wenzelm
# Date 1606750443 -3600
# Node ID 427b18abf9258c1e3298d973d3af79556eecf55b
# Parent  935f028d5f44bbc17a51a03a5b95685d29d5c0d2
updated to postgresql-42.2.18;

diff -r 935f028d5f44 -r 427b18abf925 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Nov 30 16:22:42 2020 +0100
+++ b/Admin/components/components.sha1	Mon Nov 30 16:34:03 2020 +0100
@@ -278,6 +278,7 @@
 a619177143fea42a464f49bb864665407c07a16c  polyml-test-fb4f42af00fa.tar.gz
 53123dc011b2d4b4e8fe307f3c9fa355718ad01a  postgresql-42.1.1.tar.gz
 3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
+7d6ef4320d5163ceb052eb83c1cb3968f099a422  postgresql-42.2.18.tar.gz
 e7cd5c7955e9eb5ce8cd07feb97230b23d2eec40  postgresql-42.2.2.tar.gz
 231b33c9c3c27d47e3ba01b399103d70509e0731  postgresql-42.2.5.tar.gz
 6335fbc0658e447b5b9bc48c9ad36e33a05bb72b  postgresql-42.2.9.tar.gz
diff -r 935f028d5f44 -r 427b18abf925 Admin/components/main
--- a/Admin/components/main	Mon Nov 30 16:22:42 2020 +0100
+++ b/Admin/components/main	Mon Nov 30 16:34:03 2020 +0100
@@ -13,7 +13,7 @@
 nunchaku-0.5
 opam-2.0.7
 polyml-test-f86ae3dc1686
-postgresql-42.2.9
+postgresql-42.2.18
 scala-2.12.12
 smbc-0.4.1
 spass-3.8ds-2