On Wed, 24 May 2023 13:44:40 GMT, Martin Doerr <mdo...@openjdk.org> wrote:
>> Do you prefer removing it? > > I think it's not important. I'll just integrate it to get the tests working > again. Yeah, let's integrate ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/14116#discussion_r1204172106