RFR: 8352612: No way to add back lint categories after "none" [v4]

[Maurizio Cimadamore]

On Fri, 11 Apr 2025 13:26:49 GMT, Archie Cobbs <acobbs at openjdk.org> wrote:

>> I think this looks good -- defo better than current the text it replaces.
>
> Great, thanks for the suggestions. Updated in 41ee595d8a1.
> 
> I will also update the CSR, please take a look at that too if you have time.

> Great, thanks for the suggestions. Updated in [41ee595](https://github.com/openjdk/jdk/commit/41ee595d8a1213a097256899ac3fa10e2a1ad4ae).
> 
> I will also update the CSR, please take a look at that too if you have time.

I've reviewed the CSR -- thanks.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/24227#discussion_r2039740548