On Fri, 29 Apr 2022 08:06:24 GMT, Maurizio Cimadamore <mcimadamore at 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