On 11/29/18 11:52 AM, Roman Kennke wrote: > Straightforward merge (due to previous cherry-picks): > > http://cr.openjdk.java.net/~rkennke/upstream-jdk12-merge-2018-11-29/outgoing.txt Excellent, let's do it. -Aleksey