On Sun, 26 Feb 2023 06:10:14 GMT, David Holmes <dhol...@openjdk.org> wrote:
> The workaround should have been done under JDK-8302817. This issue should > have simply disabled RTTI in the build system. I'll split the RTTI disable to a separate PR Monday, leave this one as the workaround, and rename to the other issue. ------------- PR: https://git.openjdk.org/jdk/pull/12743
