# HG changeset patch
# User wenzelm
# Date 1578864100 -3600
# Node ID 897ff7e68a10459ad9d44d9c28aaf80190ba28ec
# Parent  fd5cd1daf6a9e8eac7ad67e6bb3ef7b5a93c9e40
updated to postgresql-42.2.9;

diff -r fd5cd1daf6a9 -r 897ff7e68a10 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Jan 12 21:35:56 2020 +0100
+++ b/Admin/components/components.sha1	Sun Jan 12 22:21:40 2020 +0100
@@ -242,6 +242,7 @@
 3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
 e7cd5c7955e9eb5ce8cd07feb97230b23d2eec40  postgresql-42.2.2.tar.gz
 231b33c9c3c27d47e3ba01b399103d70509e0731  postgresql-42.2.5.tar.gz
+6335fbc0658e447b5b9bc48c9ad36e33a05bb72b  postgresql-42.2.9.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b  postgresql-9.4.1212.tar.gz
 0885e1f1d8feaca78d2f204b6487e6eec6dfab4b  scala-2.10.0.tar.gz
 f7dc7a4e1aea46408fd6e44b8cfacb33af61afbc  scala-2.10.1.tar.gz
diff -r fd5cd1daf6a9 -r 897ff7e68a10 Admin/components/main
--- a/Admin/components/main	Sun Jan 12 21:35:56 2020 +0100
+++ b/Admin/components/main	Sun Jan 12 22:21:40 2020 +0100
@@ -13,7 +13,7 @@
 nunchaku-0.5
 opam-2.0.3-1
 polyml-5.8.1-20191124
-postgresql-42.2.5
+postgresql-42.2.9
 scala-2.12.10
 smbc-0.4.1
 spass-3.8ds-1