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. Looks good (assuming tests pass). ------------- Marked as reviewed by prappo (Reviewer). PR: https://git.openjdk.org/jdk/pull/12375
