On Tue, 22 Feb 2022 22:52:58 GMT, Roger Riggs <[email protected]> wrote:
> fyi, the noreg-* labels apply to the bug report, not the PR. (and yes, they > are informative when reviewing). Thanks for pointing that out. I thought I may have been reading some old documentation. > One of [JDK-8282239](https://bugs.openjdk.java.net/browse/JDK-8282239): or > [JDK-8282219](https://bugs.openjdk.java.net/browse/JDK-8282219) should be > closed as a duplicate. I agree, but I have no access to JBS as of yet. Could you take care of that @RogerRiggs? One of the PRs should be closed as well. Shall I close mine? ------------- PR: https://git.openjdk.java.net/jdk/pull/7581
