On Sun, 25 Jan 2026 01:13:08 GMT, Weijun Wang <[email protected]> wrote:
>> Roger Calnan has updated the pull request incrementally with one additional >> commit since the last revision: >> >> implemented suggestion by weijun to distinguish between the flags that are >> documented as commands vs. options > > src/java.security.jgss/windows/man/kinit.md line 1: > >> 1: --- > > I suggest revert all anchor names in `kinit.md` to be `option`. There are no > real command here. done > src/java.security.jgss/windows/man/klist.md line 1: > >> 1: --- > > Same with `kinit.md`. There are only options in `klist.md`. changed back ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/29258#discussion_r2733553027 PR Review Comment: https://git.openjdk.org/jdk/pull/29258#discussion_r2733553751
