On Fri, 21 Apr 2023 13:38:00 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > Looks reasonable. Thanks for the review, Aleksey! ------------- PR Comment: https://git.openjdk.org/jdk/pull/13577#issuecomment-1517894396