On Wed, 28 Jul 2021 17:20:37 GMT, Kevin Rushforth <k...@openjdk.org> wrote:
>> @FrauBoes thank you, the PR has been updated to modify the copyright year > > @ebourg for future PRs please do not force push after the PR is out for > review. Just push incremental commits normally. The Skara tooling will squash > them all into a single commit. @kevinrushforth I'll do that, thank you for the hint ------------- PR: https://git.openjdk.java.net/jdk/pull/2385