On 06/12/2019 08:04, Langer, Christoph wrote: > Thanks, David. > > I'll run the final change once again through jdk-submit befor pushing. > > Alan, Dan, may I consider this reviewed by either of you? > Yes, I think this looks okay. -Alan