On Wed, 1 Feb 2023 21:14:42 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Please review some simple cleanup suggested by IntelliJ IDEA that would be > too much of a distraction in an otherwise unrelated PR. This pull request has now been integrated. Changeset: 930ec008 Author: Jonathan Gibbons <j...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/930ec008e00ea83b3d6ca21631d0cc15c9a3f4d8 Stats: 79 lines in 2 files changed: 0 ins; 52 del; 27 mod 8301636: Minor cleanup in CommentHelper and DocPretty Reviewed-by: prappo ------------- PR: https://git.openjdk.org/jdk/pull/12375
