On Tue, 13 Dec 2022 19:57:29 GMT, Alan Bateman <alanb at 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