On Wed, 19 Apr 2023 13:59:09 GMT, Volker Simonis <simo...@openjdk.org> wrote:

> Looks good.
> 
> Thanks for fixing!

Thanks! Trivial, right?

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

PR Comment: https://git.openjdk.org/jdk/pull/13534#issuecomment-1514871013

Reply via email to