On Thu, 10 Jul 2025 07:20:57 GMT, David Holmes <dhol...@openjdk.org> wrote:
> So I am quite concerned that this "workaround" has become entrenched. Thank you for the comments and concern! I'll check what can be done here. Need to investigate it a little bit. ------------- PR Comment: https://git.openjdk.org/jdk/pull/26232#issuecomment-3060599600
