On Sat, 26 Mar 2022 14:33:57 GMT, Ethan McCue <duke at openjdk.java.net> wrote: > Adds all the XLint options that were noted as missing in the man page by the issue. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/jdk/pull/7971