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
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