Skip to content

Conversation

@RogerRiggs
Copy link
Contributor

@RogerRiggs RogerRiggs commented Sep 2, 2020


Progress

  • Change must not contain extraneous whitespace
  • Commit message must refer to an issue
  • Change must be properly reviewed

Error

 ⚠️ The pull request body must not be empty.

Issue

Download

$ git fetch https://git.openjdk.java.net/jdk pull/15/head:pull/15
$ git checkout pull/15

@bridgekeeper
Copy link

bridgekeeper bot commented Sep 2, 2020

Welcome to the OpenJDK organization on GitHub!

This repository is currently a read-only git mirror of the official Mercurial repository (located at https://hg.openjdk.java.net/). As such, we are not currently accepting pull requests here. If you would like to contribute to the OpenJDK project, please see https://openjdk.java.net/contribute/ on how to proceed.

This pull request will be automatically closed.

@bridgekeeper bridgekeeper bot closed this Sep 2, 2020
@RogerRiggs
Copy link
Contributor Author

/sponsor vsharma

@RogerRiggs RogerRiggs deleted the rmi-throws-8252538 branch November 18, 2020 20:00
@bridgekeeper
Copy link

bridgekeeper bot commented Nov 18, 2020

👋 Welcome back rriggs! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request. There are additional pull request commands available for use with this pull request.

@openjdk
Copy link

openjdk bot commented Nov 18, 2020

@RogerRiggs This change does not need sponsoring - the author is allowed to integrate it.

@openjdk
Copy link

openjdk bot commented Nov 18, 2020

@RogerRiggs The following label will be automatically applied to this pull request:

  • core-libs

When this pull request is ready to be reviewed, an "RFR" email will be sent to the corresponding mailing list. If you would like to change these labels, use the /label pull request command.

@openjdk openjdk bot added the core-libs core-libs-dev@openjdk.org label Nov 18, 2020
cushon pushed a commit to cushon/jdk that referenced this pull request Apr 2, 2021
openjdk-notifier bot pushed a commit that referenced this pull request Nov 9, 2022
caojoshua pushed a commit to caojoshua/jdk that referenced this pull request Mar 29, 2023
* JVM-1831: C2 can not select StoreD

* Update Example1.

---------

Co-authored-by: Xin Liu <xxinliu@amazon.com>
robehn pushed a commit to robehn/jdk that referenced this pull request Aug 15, 2023
It also adds out-of-tree building of binutils so we can share the same
sources for different target architectures.
openjdk-notifier bot pushed a commit that referenced this pull request Apr 11, 2024
* Address review comments
lahodaj added a commit to lahodaj/jdk that referenced this pull request Mar 17, 2025
…or partial deconstructor exhaustiveness groups yet. (openjdk#15)

* Attempting to add match-failed + partial deconstructors. No support for partial deconstructor exhaustiveness groups yet.

* Error recovery.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

core-libs core-libs-dev@openjdk.org

Development

Successfully merging this pull request may close these issues.

1 participant