On Mon, 8 May 2023 14:23:10 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> wrote:
>> Port of: https://git.openjdk.org/panama-foreign/pull/831 > > Maurizio Cimadamore has updated the pull request incrementally with one > additional commit since the last revision: > > Address review comment Marked as reviewed by jvernee (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/13863#pullrequestreview-1417001836
