On Fri, 14 Apr 2023 21:07:37 GMT, Naoto Sato <na...@openjdk.org> wrote:
> Looks good, Lance. Nit: copyright year -> 2023 Geez, working in too many workspaces. Thank you, just pushed the update ------------- PR Comment: https://git.openjdk.org/jdk/pull/13482#issuecomment-1509300245
