On Wed, 24 May 2023 12:56:55 GMT, Martin Doerr <mdo...@openjdk.org> wrote:
>> It's probably not required. It was derived from a jextract generated file. > > Do you prefer removing it? I think it's not important. I'll just integrate it to get the tests working again. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/14116#discussion_r1204170274
