On Fri, 19 May 2023 14:49:54 GMT, George Adams <gd...@openjdk.org> wrote:
>> George Adams has updated the pull request incrementally with one additional >> commit since the last revision: >> >> typo fix > > This JEP has now been moved from "Proposed to target" to "Targeted" which > means I think we can merge this now. > @gdams please see my comment above re the wording. Thanks @dholmes-ora updated PTAL ------------- PR Comment: https://git.openjdk.org/jdk/pull/13852#issuecomment-1556763799