Integrated: 8361961: Typo in ProtectionDomain.implies

[Shawn M Emery]

On Sun, 13 Jul 2025 23:55:02 GMT, Shawn M Emery <duke at 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.emery at oracle.com>
Committer: Jaikiran Pai <jpai at 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