On Fri, 29 Sep 2023 19:35:33 GMT, Arik Hadas <[email protected]> wrote:
> Credit goes to JetBrain that fixed it in JetBrainsRuntime (commit 24819d9). Yes as Sergey noted that's a problem. Please just withdraw this PR. JetBrains have said they'll pick up doing the fix. The JBS bug ID can be re-used but not the PR. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15980#issuecomment-1756301858
