On Mon, 29 Jan 2024 18:35:49 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > This looks fine, with nits. Thanks for the review! I fixed all the mentioned issues. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17590#issuecomment-1915343877