On Thu, 29 Jun 2023 16:22:29 GMT, Alan Bateman <alanb at openjdk.org> wrote: > Looks fine, I assume you'll bump the copyright date before integrating. Will do. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14714#issuecomment-1613500142