On 11/15/2018 11:40 AM, Roman Kennke wrote: > jdk-12+20 arrived. Let's merge it. Lots of highlights, trivial merge > because of cherry-picked changes. > > http://cr.openjdk.java.net/~rkennke/upstream-jdk12-merge-2018-11-15/outgoing.txt OK -Aleksey