On Fri, 22 Dec 2023 23:25:35 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
> Don't forget to update the copyright years in both files, please ;-) Done. (I'm a bit surprised there isn't some sort of automated check if this is a requirement.) ------------- PR Comment: https://git.openjdk.org/jdk/pull/17181#issuecomment-1868314411
