| changeset 83149 | b6ad7d2fc589 |
| parent 81969 | 2feeac105b53 |
| child 83340 | c9fe49bc3f17 |
--- a/src/Pure/Admin/component_postgresql.scala Sat Sep 13 19:03:19 2025 +0200 +++ b/src/Pure/Admin/component_postgresql.scala Sat Sep 13 19:19:02 2025 +0200 @@ -13,7 +13,7 @@ val notable_urls = List("https://jdbc.postgresql.org", "https://jdbc.postgresql.org/download") - val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.5.jar" + val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.7.jar" /* build postgresql */