On Mon, 8 May 2023 16:10:37 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> wrote:
> This is a port of: https://git.openjdk.org/panama-foreign/pull/830 (already reviewed in the panama-foreign repo) ------------- Marked as reviewed by jvernee (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/13869#pullrequestreview-1417136947
