On Wed, 17 Nov 2021 14:56:19 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> So the refresh is still upcoming? Sorry, I thought it was pushed last week. > When it is pushed, I'll merge in master and the duplicated changes will just > be removed from the PR. There are _two_ refreshes: * foreign API refresh: https://git.openjdk.java.net/jdk/pull/5907 * vector API refresh: https://git.openjdk.java.net/jdk/pull/5873 Your patch covers both vector API and foreign API, but these APIs have independent JEPs so their integration schedule differs. The vector API refresh was integrated just few days ago, while the foreign API refresh will hopefully be integrated soon (but JEP for that is still not targeted to 18). ------------- PR: https://git.openjdk.java.net/jdk/pull/6355
