On Mon, 6 May 2024 07:52:31 GMT, Erik Österlund <eosterlund at openjdk.org> wrote: > Looks good! Thanks for reviewing, Erik! ------------- PR Comment: https://git.openjdk.org/jdk/pull/19026#issuecomment-2095408712