Hi David, > The JEP is not yet targeted so we have to wait for that formality. But once > that happens I can sponsor for you.
Perfect, I didn't know about the need for the JEP to be targeted before the merge. > Also note that the PR references the wrong JEP so can you please edit the > description to fix that. I'll work with @Monica to update the PR's description to point to https://openjdk.java.net/jeps/391 instead. Thank you! Ludovic