On Tue, 26 Oct 2021 11:13:19 GMT, Jiří Vaněk <jva...@openjdk.org> wrote:
>> Jiří Vaněk has refreshed the contents of this pull request, and previous >> commits have been removed. The incremental views will show differences >> compared to the previous content of the PR. > > Attmept done. Looks like the summary is there already once. Thanx again. @judovana please do not use "force push" in a PR as it makes the review process very difficult and can leave orphaned comments. You can simply push additional changes after the initial commit. The skara tooling with flatten all commits into one single, properly formulated, commit that will actually be pushed to the OpenJDK repo. Thanks. ------------- PR: https://git.openjdk.java.net/jdk/pull/6068
