Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

VM and core-libs sealed classes update #23

Closed
wants to merge 1 commit into from
Closed

VM and core-libs sealed classes update #23

wants to merge 1 commit into from

Conversation

hseigel
Copy link
Member

@hseigel hseigel commented Jun 1, 2020

Push latest reviewed VM and core-libs changes into sealed-types repo.


Progress

  • Change must not contain extraneous whitespace

Download

$ git fetch https://git.openjdk.java.net/amber pull/23/head:pull/23
$ git checkout pull/23

@bridgekeeper
Copy link

bridgekeeper bot commented Jun 1, 2020

👋 Welcome back hseigel! A progress list of the required criteria for merging this PR into sealed-types will be added to the body of your pull request.

@openjdk
Copy link

openjdk bot commented Jun 1, 2020

@hseigel This change now passes all automated pre-integration checks, type /integrate in a new comment to proceed. After integration, the commit message will be:

VM and core-libs sealed classes update
  • If you would like to add a summary, use the /summary command.
  • To credit additional contributors, use the /contributor command.
  • To add additional solved issues, use the /issue command.

There are currently no new commits on the sealed-types branch since the last update of the source branch of this PR. If another commit should be pushed before you perform the /integrate command, your PR will be automatically rebased. If you would like to avoid potential automatic rebasing, specify the current head hash when integrating, like this: /integrate b37f74674c3ae93c925f0f204c9f1c8759c53bd1.

➡️ To integrate this PR with the above commit message to the sealed-types branch, type /integrate in a new comment.

@openjdk openjdk bot added ready Ready to be integrated rfr Ready for review labels Jun 1, 2020
@mlbridge
Copy link

mlbridge bot commented Jun 1, 2020

Webrevs

@hseigel
Copy link
Member Author

hseigel commented Jun 1, 2020

/integrate

@openjdk openjdk bot closed this Jun 1, 2020
@openjdk openjdk bot added integrated Pull request has been integrated and removed ready Ready to be integrated rfr Ready for review labels Jun 1, 2020
@openjdk
Copy link

openjdk bot commented Jun 1, 2020

@hseigel
Pushed as commit a50af77.

@hseigel hseigel deleted the IKlassChanges branch November 6, 2020 15:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
integrated Pull request has been integrated
Development

Successfully merging this pull request may close these issues.

1 participant