On Thu, 21 Sep 2023 16:30:15 GMT, Daniel Jeliński <djelinski at openjdk.org> wrote: > LGTM. Thanks! Thanks (to everyone) for the constructive comments! ------------- PR Comment: https://git.openjdk.org/jdk/pull/15757#issuecomment-1729921947