| changeset 81604 | 707c247194be |
| parent 79952 | a2b06af75d3b |
| child 81969 | 2feeac105b53 |
--- a/src/Pure/Admin/component_postgresql.scala Mon Dec 16 13:13:05 2024 +0100 +++ b/src/Pure/Admin/component_postgresql.scala Mon Dec 16 13:32:36 2024 +0100 @@ -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.3.jar" + val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.4.jar" /* build postgresql */