On Thu, 11 Nov 2021 21:34:17 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? Done - the jdk.incubator.foreign changes are now part of https://github.com/openjdk/jdk/pull/5907 ------------- PR: https://git.openjdk.java.net/jdk/pull/6355
