On Thu, 21 Sep 2023 16:30:15 GMT, Daniel Jeliński <djelin...@openjdk.org> wrote:

> LGTM. Thanks!

Thanks (to everyone) for the constructive comments!

-------------

PR Comment: https://git.openjdk.org/jdk/pull/15757#issuecomment-1729921947

Reply via email to