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()
Is this ready to merge now? ------------- PR Comment: https://git.openjdk.org/jdk/pull/12690#issuecomment-1517466596
