I'd like to merge changes from jdk/jdk -> shenandoah/jdk up to tag jdk-13+7. No conflicts, all hotspot_gc_shenandoah tests green. Ok? http://cr.openjdk.java.net/~rkennke/upstream-jdk13-merge-2019-02-11/changes.txt Roman