On Tue, 21 Sep 2021 09:40:28 GMT, Hannes Wallnöfer <[email protected]> wrote:
> Please review a simple change to remove unused stylesheet classes, > conveniently exposed by `CheckStylesheetClasses.java`. > > I have 1) grepped the generated documentation for the removed classes without > finding any occurrences, and 2) compared the generated documentation in the > browser page by page without finding any differences. This pull request has now been integrated. Changeset: e1f0df0d Author: Hannes Wallnöfer <[email protected]> URL: https://git.openjdk.java.net/jdk/commit/e1f0df0de3b205cecdb1aa1d74562536c06097dd Stats: 46 lines in 3 files changed: 0 ins; 39 del; 7 mod 8267853: Remove unused styles from stylesheet Reviewed-by: prappo ------------- PR: https://git.openjdk.java.net/jdk/pull/5601
