On Sat, 23 May 2026 22:13:15 GMT, Phil Race <[email protected]> wrote:
>> Ah, I see, thanks for the heads up! Do you have an open PR or a JBS issue >> so that I can track it? If you're close to landing your change and if >> there's a race condition, I'm happy to wait until your PR has landed. > > PR link > https://github.com/openjdk/jdk/pull/31262/changes#diff-588478f1ca8a75b71bf7682fe9090c3b8aca3bbf430e1808289c8be20531faf1 FYI that is now pushed ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/31261#discussion_r3326276201
