On Fri, 12 Nov 2021 11:13:24 GMT, Maurizio Cimadamore <mcimadam...@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? > >> > 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) ------------- PR: https://git.openjdk.java.net/jdk/pull/6355
