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

Reply via email to