Integrated: 8320447: Remove obsolete `LintCategory.hidden`

Wed Nov 22 09:52:14 UTC 2023

On Tue, 21 Nov 2023 08:41:00 GMT, Christian Stein <cstein at openjdk.org> wrote:

> Please review this change that removes the `LintCategory.hidden` member.
> 
> `LintCategory.hidden` is an obsolete member with no uses. It was used for a custom "internal" category, "sunapi".

This pull request has now been integrated.

Changeset: ceb02903
Author:    Christian Stein <cstein at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/ceb0290335269374da3a366a5d24dd0b7fa722a0
Stats:     7 lines in 1 file changed: 0 ins; 6 del; 1 mod

8320447: Remove obsolete `LintCategory.hidden`

Reviewed-by: jjg

-------------

PR: https://git.openjdk.org/jdk/pull/16755