On Sat, 10 May 2025 20:38:36 GMT, Archie Cobbs <aco...@openjdk.org> wrote:
> FYI, this issue now effectively fixes [JDK-7004476 Lint.LintCategory should > support aliases](https://bugs.openjdk.org/browse/JDK-7004476), which happened > to be closed as "Rejected" on Monday. Not sure if anything needs to be done. I guess we can add a note to that bug once this one goes through ------------- PR Comment: https://git.openjdk.org/jdk/pull/24746#issuecomment-2869184983
