On Mon, 14 Feb 2022 18:20:19 GMT, Christian Stein <cst...@openjdk.org> wrote:
> I think Jon's latest proposal combines all requirements with using better > wording than my initial text. > > Do you agree, @AlanBateman and @LanceAndersen? Yes, I think that sounds good ------------- PR: https://git.openjdk.java.net/jdk/pull/7406