On Fri, 27 Oct 2023 10:31:35 GMT, Alan Bateman <al...@openjdk.org> wrote:
> > Hey stuart-marks (cc liach @AlanBateman ExE-Boss), I think this discussion > > has stalled a bit. Would it be an idea to at least push this commit through. > > No, as I don't think there is agreement yet on this direction. Also all of > the options involve a spec change. Fair enough. Is there something I can do to help further this? I would like to resolve this PR, but I'm not sure if people are waiting on something from me...? ------------- PR Comment: https://git.openjdk.org/jdk/pull/13388#issuecomment-1787246189
