On Mon, 14 Jun 2021 14:00:14 GMT, UncleNine <github.com+1964054+unclen...@openjdk.org> wrote:
> @UncleNine please do not force push commits to an open PR as it makes it > difficult for reviewers to track the changes. The PR can contain as many > commits as you like as it will all be squashed to a single clean commit when > integrating. Thanks. Sorry, ------------- PR: https://git.openjdk.java.net/jdk/pull/4378