On Mon, 3 Apr 2023 14:14:03 GMT, Roman Kennke <rkennke at openjdk.org> wrote: > Looks good to me. Thanks! Thank you for the quick review! ------------- PR Comment: https://git.openjdk.org/jdk/pull/13296#issuecomment-1494407407