On Wed, 28 Jul 2021 17:23:51 GMT, Emmanuel Bourg <github.com+54304+ebo...@openjdk.org> wrote:
>> @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 @ebourg Thanks for updating the copyright. If you integrate again, I can sponsor. ------------- PR: https://git.openjdk.java.net/jdk/pull/2385