I'd like to merge changes from jdk/jdk12 -> sh/jdk12 up to latest tag jdk-13+31. It merged trivially without any conflicts, and testing hotspot_gc_shenandoah is all good. http://cr.openjdk.java.net/~rkennke/upstream-jdk12-merge-2019-02-11/changes.txt Ok? Roman