On Wed, 17 Nov 2021 15:11:24 GMT, Maurizio Cimadamore <mcimadam...@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. > >> 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). @mcimadamore I see. Sorry for my confusion. :-( Maybe I should split this in two PRs, then... @PaulSandoz Oh, I was not even aware of that. That sounds like quite an easy fix for me. Is there an JBS issue on this? ------------- PR: https://git.openjdk.java.net/jdk/pull/6355
