On Tue, 13 Dec 2022 19:57:29 GMT, Alan Bateman <al...@openjdk.org> wrote:
> I think that PR was closed as it went inactive Yep, I think there I did everything I could, hope this one will be merged as the changes are helpful ------------- PR: https://git.openjdk.org/jdk/pull/11644
