On Thu, 2019-08-01 at 12:09 +0200, Aleksey Shipilev wrote: > 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. +1 Thanks, Severin