On 8/1/19 11:03 AM, Lindenmaier, Goetz wrote: > I pushed tag jdk-11.0.5+1 to jdk11u-dev and merged it to jdk11u. Thank you! This is useful for our downstream development/testing. -Aleksey