On Tue, 13 Jun 2023 08:15:52 GMT, Aleksey Shipilev <[email protected]> wrote:
> > If you're not able to test, I could also take your fix and create a PR for > > the patch I have with your fix included (and add you as a contributor). > > WDYT? > > Yes, please! Open your PR, I'll close my as dup. Okay, I've gone ahead and made a PR here: https://github.com/openjdk/jdk/pull/14446 ------------- PR Comment: https://git.openjdk.org/jdk/pull/13827#issuecomment-1589440259
