On Thu, 15 Oct 2026 20:39:37 GMT, Chris Plummer <[email protected]> wrote:

> They copyright needs updating. Otherwise the change looks fine.

Done!

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

PR Comment: https://git.openjdk.org/jdk/pull/32929#issuecomment-6210382884

Reply via email to