diff -r 2a28450b992b -r 5faedbc01c07 Admin/components/main
--- a/Admin/components/main	Wed Jun 07 14:29:25 2023 +0200
+++ b/Admin/components/main	Wed Jun 07 15:27:52 2023 +0200
@@ -26,7 +26,7 @@
 opam-2.0.7
 pdfjs-2.14.305
 polyml-a5d5fba90286
-postgresql-42.5.0
+postgresql-42.6.0
 prismjs-1.29.0
 rsync-3.2.7
 scala-3.3.0