On Wed, 21 Jun 2023 17:09:58 GMT, Kevin Rushforth <k...@openjdk.org> wrote:
> Since this Enhancement was rejected for JDK 21, this PR should be closed. Closing without integration accordingly, thanks. ------------- PR Comment: https://git.openjdk.org/jdk21/pull/26#issuecomment-1601273074