On Tue, 11 Jun 2024 12:37:46 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Either what Chen has suggested or re-sort the complete list alphabetically as > it was prior to this change. I will go with Chen's suggestions, will fix in a bit. I might move STYLE down as it's also a global tag ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/19652#discussion_r1634813558
