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. This pull request has now been integrated. Changeset: 6f297346 Author: Jonathan Gibbons <[email protected]> URL: https://git.openjdk.org/jdk/commit/6f297346dc34f58d10c64a7bbe4e0f5b52ed33e3 Stats: 10 lines in 2 files changed: 0 ins; 6 del; 4 mod 8293178: Remove obsolete properties from javadoc resource file Reviewed-by: prappo ------------- PR: https://git.openjdk.org/jdk/pull/10105
