On Tue, 29 Aug 2023 12:35:19 GMT, Severin Gehwolf <sgehw...@openjdk.org> wrote:
> @AlanBateman Gentle ping. On my list, it's a lot to get through and a number of aspects to this that I think will require refinement and discussion. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14787#issuecomment-1697864131