On Wed, 15 Apr 2026 13:24:33 GMT, Erik Joelsson <[email protected]> wrote:
>> It should be deleted already in mainline. I'd deleted it here and it merged >> funny but I think pushing this would make it gone. > > Doh, I see now that it is deleted in this patch already, don't mind me. It did something weird in the merge but hopefully will be completely deleted when this is pushed. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/30322#discussion_r3093026754
