On Fri, 29 Apr 2022 00:44:01 GMT, Guoxiong Li <g...@openjdk.org> wrote:
> Remind: please use the command `/jep JEP-424` [1] to mark this PR. > > [1] > https://wiki.openjdk.java.net/display/SKARA/Pull+Request+Commands#PullRequestCommands-/jep Question: I'm willing to try it out. If something goes wrong - would a `jep unneeded` be enough to "unstuck" this PR? ------------- PR: https://git.openjdk.java.net/jdk/pull/7888
