On Thu, 7 Dec 2023 18:14:59 GMT, Lance Andersen <lan...@openjdk.org> wrote:
> Eirik, Could you add a reference to [PR > 12959](https://github.com/openjdk/jdk/pull/12959/) or to > [JDK-8303920](https://bugs.openjdk.org/browse/JDK-8303920) in the above Thanks, that makes sense! ------------- PR Comment: https://git.openjdk.org/jdk/pull/16975#issuecomment-1845880582
