On Fri, 20 Mar 2026 12:48:19 GMT, Eirik Bjørsnøs <[email protected]> wrote:
> While it could be convenient to include it here, it would be a bit untidy to > mix a bug fix and a spec update in the same issue. I have filed > https://bugs.openjdk.org/browse/JDK-8380542 for the spec update. The PR for the spec update is now ready for review: #30338 ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/30319#discussion_r2965825004
