On 4/4/19 2:00 PM, Roman Kennke wrote: > This brings a number of interesting bugfixes and improvements into sh/jdk: > > http://cr.openjdk.java.net/~rkennke/upstream-jdk13-merge-2019-04-04/changes.txt OK, looks good. -Aleksey