On Wed, 2 Feb 2022 14:45:21 GMT, Sean Mullan <mullan at openjdk.org> wrote: > A few more comments on the API. All good catches! Thank you very much. Updated the spec, CSR and impl. ------------- PR: https://git.openjdk.java.net/jdk/pull/7252