On Wed, 23 Nov 2022 15:04:52 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: > Here's the diffs that work: Yes, that's what Jay tested. ------------- PR: https://git.openjdk.org/jdk/pull/11324