On Fri, 29 Apr 2022 08:06:24 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> wrote:
> would a jep unneeded be enough to "unstuck" this PR? Yes if no bug. Conceptually, the `/jep unneeded` will behave as no jep command. ------------- PR: https://git.openjdk.java.net/jdk/pull/7888
