On Thu, 5 Oct 2023 05:57:38 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > Looks good to me now, but Brian or Alan should okay this too. Yes, sure. Thanks for the review! ------------- PR Comment: https://git.openjdk.org/jdk/pull/15792#issuecomment-1748339213