On Wed, 12 Jul 2023 08:11:00 GMT, Roman Kennke <rken...@openjdk.org> wrote:

> Looks good to me!

Thank you @rkennke !

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

PR Comment: https://git.openjdk.org/jdk/pull/14826#issuecomment-1632130286

Reply via email to