Nothing spectacular, trivial merge. http://cr.openjdk.java.net/~rkennke/upstream-jdk12-merge-2018-11-02/outgoing.txt Testing: tier3_gc_shenandoah Ok? Roman