| Fri, 20 Apr 2018 15:40:21 +0200 | wenzelm | updated to postgresql-42.2.2, with more smooth support for Java 9/10; | changeset | files |
| Fri, 20 Apr 2018 11:44:09 +0200 | wenzelm | minimal Java source version for jdk-10.0.1; | changeset | files |
| Fri, 20 Apr 2018 11:41:09 +0200 | wenzelm | workaround for jdk-10.0.1; | changeset | files |