Conversation
|
This backport pull request has now been updated with issue from the original commit. |
@shipilev This change now passes all automated pre-integration checks. After integration, the commit message for the final commit will be:
You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been no new commits pushed to the
|
Got the push approval. |
Going to push as commit 86956ee.
Your commit was automatically rebased without conflicts. |
Clean backport to improve testing.
Additional tests:
Progress
Issue
Reviewing
Using
git
Checkout this PR locally:
$ git fetch https://git.openjdk.java.net/jdk18u pull/8/head:pull/8
$ git checkout pull/8
Update a local copy of the PR:
$ git checkout pull/8
$ git pull https://git.openjdk.java.net/jdk18u pull/8/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 8
View PR using the GUI difftool:
$ git pr show -t 8
Using diff file
Download this PR as a diff file:
https://git.openjdk.java.net/jdk18u/pull/8.diff