On Tue, 2 Jan 2024 22:06:36 GMT, Eirik Bjørsnøs <eir...@openjdk.org> wrote:
> A CSR for this change has been proposed and is ready for review: > [JDK-8322871](https://bugs.openjdk.org/browse/JDK-8322871) I've reviewed the CSR so you can finalize. The implementation change looks fine. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17209#issuecomment-1892440727