On Thu, 8 Oct 2026 16:20:19 GMT, Christoph Langer <[email protected]> wrote:
> Makes sense. Copyright header needs update, though. The year is updated to 2026 with 8393678, so here no update is needed. ------------- PR Comment: https://git.openjdk.org/jdk/pull/33241#issuecomment-6076434449
