On Fri, 19 May 2023 15:33:48 GMT, Paul Hohensee <phh at openjdk.org> wrote: > Lgtm. Thank you! I marked the issue for maintainer approval. ------------- PR Comment: https://git.openjdk.org/jdk17u-dev/pull/1377#issuecomment-1555070061