On Tue, 29 Aug 2023 17:31:00 GMT, Alan Bateman <al...@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. Thanks for the heads-up! Your input is much appreciated. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14787#issuecomment-1698743940