On Thu, 11 Nov 2021 20:22:25 GMT, Magnus Ihse Bursie <i...@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? ------------- PR: https://git.openjdk.java.net/jdk/pull/6355
