On Mon, 30 Sep 2024 15:58:53 GMT, Daniel Jeliński <[email protected]> wrote:
> For future reference, as the bot says, don't force push. The bot will squash > all commits before merging. I didn't realize before pushing, but now I know. Thanks! > The change looks good to me. Please update the copyright year. I've done that now. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20938#issuecomment-2383615364
