On Tue, 21 Jul 2020 14:07:05 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote: > Some renaming was missed in this iteration, in comments and in one test. Marked as reviewed by jvernee (Committer). ------------- PR: https://git.openjdk.java.net/panama-foreign/pull/255