On Tue, 1 Aug 2023 16:01:44 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > All right then. (Puts on his own "I am actually in build group too" hat.) Matthias is in it, too. 😄 ------------- PR Comment: https://git.openjdk.org/jdk/pull/15093#issuecomment-1661178053