On Tue, 30 Mar 2021 11:48:36 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> wrote:
>> Happy to submit a fix elsewhere if that's the right thing to do? > > Hi @alblue, thanks for the contribution. We will make sure to integrate this > at some point, but I don't think now is the right moment to do this kind of > stylistic changes to the API/implementation. If you want to integrate the fix > now, I'd suggest to file a PR against > https://github.com/openjdk/panama-foreign, and we'll be happy to sponsor the > change. That way you'd be guaranteed the change would be included in the next > incubation round. Have submitted change to the panama-foreign branch; let me know if that's the appropriate place and I can abandon this PR. ------------- PR: https://git.openjdk.java.net/jdk/pull/3253
