On Sun, 13 Jul 2025 23:55:02 GMT, Shawn M Emery <d...@openjdk.org> wrote:
> Missing Javadoc meta character for ProtectionDomain.implies. Fix adds > missing meta character. > > No regression tests related to change, but did validate that Javadoc does now > render the code element. This pull request has now been integrated. Changeset: 7da274de Author: Shawn M Emery <shawn.em...@oracle.com> Committer: Jaikiran Pai <j...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/7da274ded4a36c6314702b687fcafcda80ae08c4 Stats: 2 lines in 1 file changed: 0 ins; 0 del; 2 mod 8361961: Typo in ProtectionDomain.implies Reviewed-by: mullan, jpai, hchao ------------- PR: https://git.openjdk.org/jdk/pull/26281
