> 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 ------------- Changes: - all: https://git.openjdk.org/jdk/pull/13863/files - new: https://git.openjdk.org/jdk/pull/13863/files/ff787daf..41e18900 Webrevs: - full: https://webrevs.openjdk.org/?repo=jdk&pr=13863&range=01 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=13863&range=00-01 Stats: 6 lines in 1 file changed: 1 ins; 1 del; 4 mod Patch: https://git.openjdk.org/jdk/pull/13863.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/13863/head:pull/13863 PR: https://git.openjdk.org/jdk/pull/13863