On Fri, 18 Sep 2020 10:00:55 GMT, Aleksey Shipilev <sh...@openjdk.org> wrote:
>> Matthias Baesken 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. The pull request contains one new >> commit since the last revision: >> JDK-8253239 > > This looks fine to me, but build maintainers should approve. I left a suggestion for a comment. You should be able to just accept it if you are happy with it. If you would rather write something yourself, I recommend committing without --amend. The Skara bot will automatically squash all your changes before merging this to the main repo. ------------- PR: https://git.openjdk.java.net/jdk/pull/237
