On Tue, 24 Oct 2023 09:05:19 GMT, Leo Korinth <lkorinth at openjdk.org> wrote: > Fix copyright year to 2023 Change is trivial. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16338#issuecomment-1776914591