On Wed, 19 Apr 2023 13:50:49 GMT, Aleksey Shipilev <sh...@openjdk.org> wrote:
> @AlanBateman, @apangin, @ExE-Boss, @liach, @pavelrappo -- you had comments on > this PR, could you please see if those are still relevant or not addressed? > If you are good with the current version, can you please formally approve the > PR? Thanks! Don't mind me: I had minor, mostly unrelated comments. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13491#issuecomment-1514898960
