On Fri, 16 Jun 2023 11:54:52 GMT, Matthias Baesken <mbaes...@openjdk.org> wrote:

> Hi Alan, I adjusted / simplified the coding.

Thanks for taking the suggestion.

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

PR Comment: https://git.openjdk.org/jdk/pull/14515#issuecomment-1594595016

Reply via email to