On Fri, 19 Jul 2024 16:49:56 GMT, Chris Plummer <cjplummer at openjdk.org> wrote: > Copyright needs updating. Thanks, done. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20237#issuecomment-2240950444