On Tue, 28 Feb 2023 07:49:17 GMT, Madjosz <d...@openjdk.org> wrote: >> Fixes JDK-8302983 (and duplicate JDK-8302898) > > Madjosz has updated the pull request incrementally with one additional commit > since the last revision: > > whitespace, remove stream()
Marked as reviewed by naoto (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/12690#pullrequestreview-1396233556