On Fri, 2 Sep 2022 07:50:53 GMT, Alan Bateman <al...@openjdk.org> wrote:
> It's probably best to change to back to draft until there is an updated > proposal. I would love to, but how to do that? I mean, there is no button in Github that would allow *me* to do that. ------------- PR: https://git.openjdk.org/jdk/pull/6935
