On Sun, 3 Dec 2023 08:46:07 GMT, Alan Bateman <al...@openjdk.org> wrote:
> This API is sitting out JDK 22, meaning no API/implementation changes in this > PR. Some small API changes are likely for JDK 23. > > For now, we just need to bump JEP number/title that shows up in the preview > section of the javadoc. Marked as reviewed by mcimadamore (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/16937#pullrequestreview-1764638933
