Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. updated to postgresql-42.2.2, with more smooth support for Java 9/10;
  3. minimal Java source version for jdk-10.0.1;
  4. workaround for jdk-10.0.1;
  5. more robust, notably for jdk-10.0.1 where jre is absent;
Changeset 68016:5eb4081e6bf6 by wenzelm:
merged
Changeset 68015:a39473b19ee1 by wenzelm:
updated to postgresql-42.2.2, with more smooth support for Java 9/10;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 68014:9096895dc2a6 by wenzelm:
minimal Java source version for jdk-10.0.1;
The file was modified lib/browser/build (diff)
Changeset 68013:7a30a3cc2763 by wenzelm:
workaround for jdk-10.0.1;
The file was modified src/Pure/Admin/ci_profile.scala (diff)
Changeset 68012:6d38b4fd872e by wenzelm:
more robust, notably for jdk-10.0.1 where jre is absent;
The file was modified lib/scripts/getsettings (diff)