On Wed, 22 Feb 2023 18:44:57 GMT, Eirik Bjorsnos <duke at openjdk.org> wrote: > I'll let this linger a bit before integrating in case Alan has comments after the latest updates. I plan to look at it, been busy with other things. ------------- PR: https://git.openjdk.org/jdk/pull/12632