On Sun, 1 Jun 2025 07:19:54 GMT, Johannes Bechberger <jbechber...@openjdk.org> wrote:
>> Thanks for catching this mistake. I'll fix it this afternoon. > > I fixed it by changing the JEP. Hold on, shouldn't this really be "Lost"? @egahlin and @mgronlun need to chime in here. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25302#discussion_r2120893338
