On Fri, 4 Aug 2023 14:39:40 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > Thanks! Any more reviewers, or is this trivial enough to go in? Ping? ------------- PR Comment: https://git.openjdk.org/jdk/pull/15136#issuecomment-1667592462