On Wed, 31 Aug 2022 18:11:09 GMT, Jonathan Gibbons <[email protected]> wrote:
> Please review a trivial update to remove some obsolete properties from a > javadoc resource file. Marked as reviewed by prappo (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/10105
