On Mon, 28 Mar 2022 15:22:16 GMT, Gavin Bierman <gbierman at openjdk.org> wrote: > JEP 420 has been delivered This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/amber-docs/pull/13