On Mon, 23 Jan 2023 14:19:43 GMT, Stuart Monteith <smonteith at openjdk.org> wrote: > I tried it out, and it looks good to me. Thanks for the review! ------------- PR: https://git.openjdk.org/jdk/pull/12038