On Mon, 29 Aug 2022 09:27:59 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote: > That looks reasonable to me. Thanks for your review, @chhagedorn. Can I have a second one please? ------------- PR: https://git.openjdk.org/jdk/pull/9898