On Thu, 17 Oct 2024 17:16:16 GMT, Andrew Dinn <adinn at openjdk.org> wrote: > This looks fine. The review was recorded as "Comment", did you want to "Approve"? ------------- PR Comment: https://git.openjdk.org/jdk/pull/21531#issuecomment-2420098711