On Fri, 29 Apr 2022 08:29:52 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?
>> would a jep unneeded be enough to "unstuck" this PR?
> Yes if no bug. Conceptually, the `/jep unneeded` will behave as no jep 
> command.

@lgxbslgx - JEP has been targeted, but the JEP action seems to be blocking this 
- what should we do?


PR: https://git.openjdk.java.net/jdk/pull/7888

Reply via email to