On Wed, 11 May 2022 13:10:10 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
>> I agree, but if it doesn't happen, I can follow up with a separate PR where >> I remove the disablement. > > That's good to know. I think the tricky part is mostly about keeping track of > all these disabled warnings, so they are not kept around longer than > necessary. And that needs coordination with all the subtasks of the umbrella > issue. Thanks for quick reaction. I'll keep my eyes on this race of patches and update this pull request accordingly or create a new PR. ------------- PR: https://git.openjdk.java.net/jdk/pull/8599
