On Wed, 28 Jun 2023 21:46:30 GMT, Nikita Provotorov <[email protected]> wrote:
> Hi, guys! I want to notice that JetBrains is working on the issue too and > we're going to propose our own fix. This problem has existed for more than ten years, do you guys have time to plan ------------- PR Comment: https://git.openjdk.org/jdk/pull/13055#issuecomment-1652972669
