On Fri, 12 Nov 2021 17:01:38 GMT, Paul Sandoz <psan...@openjdk.org> wrote:
>>> > You could also do this directly in the Panama repo branches. I'll >>> > volunteer to help, if you want. >>> >>> I'll run the script on the PR I've submitted for the Foreign API, and I >>> will update that one - thanks. Perhaps @PaulSandoz can do the same for the >>> Vector API refresh? >> >> Done - the jdk.incubator.foreign changes are now part of >> https://github.com/openjdk/jdk/pull/5907 > >> @mcimadamore Thanks! >> >> @PaulSandoz I'll keep this PR open until after the integration is done, and >> check if or what parts are still needed after that. I don't want to mess up >> your integration with trivia like this. (Had I realized the bad timing I >> would have waited before opening this PR) > > Thanks, integration should happen to today, then i can help guide you on what > to update. @PaulSandoz @mcimadamore Would you be ok with me pushing this now? ------------- PR: https://git.openjdk.java.net/jdk/pull/6355
