Oops. Right. How did I think it's 14+4? Pushed. Roman > On 6/27/19 2:26 PM, Roman Kennke wrote: >> Let's bring in jdk-14+4 from jdk/jdk: >> >> http://cr.openjdk.java.net/~rkennke/upstream-jdk14-merge-2019-06-27/changes.txt >> >> Merge was trivial, testing (hotspot_gc_shenandoah) passed. Ok? > > Looks good. I think it is jdk-14+3, though. >