On Sat, 15 Oct 2022 08:11:39 GMT, Kim Barrett <kbarr...@openjdk.org> wrote:
> Looks good. I think you want to do the actual "Approve" to supersede your previous "Request changes" review. Anyway, I think we are good for integration here, @magicus? ------------- PR: https://git.openjdk.org/jdk/pull/10414
