On Thu, 8 Dec 2022 07:51:00 GMT, Doug Simon <dnsimon at openjdk.org> wrote: > Sorry I checked with Alan over Slack who said to go ahead with merging. Yeah, I was busy at the time and didn't get a chance to say that I didn't have any more comments/issues. ------------- PR: https://git.openjdk.org/jdk/pull/11513