On Fri, 6 Oct 2023 12:45:50 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > @lahodaj, what do you think? Ping @lahodaj again :) ------------- PR Comment: https://git.openjdk.org/jdk/pull/16053#issuecomment-1774742783