Conversation
|
👋 Welcome back yan! A progress list of the required criteria for merging this PR into |
|
This backport pull request has now been updated with issue from the original commit. |
|
@yan-too 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 ➡️ To integrate this PR with the above commit message to the |
|
/integrate |
|
Going to push as commit 028242b. |
I'd like to backport this fix here, too. The patch applies cleanly, tier tests run OK.
Progress
Issue
Reviewing
Using
gitCheckout this PR locally:
$ git fetch https://git.openjdk.java.net/jdk15u-dev pull/85/head:pull/85$ git checkout pull/85Update a local copy of the PR:
$ git checkout pull/85$ git pull https://git.openjdk.java.net/jdk15u-dev pull/85/headUsing Skara CLI tools
Checkout this PR locally:
$ git pr checkout 85View PR using the GUI difftool:
$ git pr show -t 85Using diff file
Download this PR as a diff file:
https://git.openjdk.java.net/jdk15u-dev/pull/85.diff