On Wed, 22 Feb 2023 19:58:08 GMT, Alexander Zuev <kiz...@openjdk.org> wrote:

> You might to bump up the copyright year in both headers. Other than that 
> looks good.

Copyright year updated.

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

PR: https://git.openjdk.org/jdk/pull/12707

Reply via email to