# HG changeset patch
# User wenzelm
# Date 1711027741 -3600
# Node ID e5fda68d4996b89a63a89b4431cab7bd549d8ed0
# Parent  a2b06af75d3b09120c6bc9884aa290e3171f3cdc
activate postgresql-42.7.3;

diff -r a2b06af75d3b -r e5fda68d4996 Admin/components/main
--- a/Admin/components/main	Thu Mar 21 14:26:45 2024 +0100
+++ b/Admin/components/main	Thu Mar 21 14:29:01 2024 +0100
@@ -27,7 +27,7 @@
 opam-2.0.7
 pdfjs-2.14.305
 polyml-5.9.1
-postgresql-42.7.1
+postgresql-42.7.3
 prismjs-1.29.0
 rsync-3.2.7
 scala-3.3.3