On Sat, 10 May 2025 15:31:17 GMT, Chen Liang <li...@openjdk.org> wrote:
> Thanks. Looks good, but the Lint to all option names streaming can be > replaced by the static map lookup/iteration. Good point... I prototyped that in commit be160a3261b. ------------- PR Comment: https://git.openjdk.org/jdk/pull/24746#issuecomment-2868989327
