Yanming Zhou b1ac64c7e2 Harmonize Stream.collect() usage ...

use Stream.toList() or collect(Collectors.toSet()) where possible.

See gh-36509

2023-07-26 11:15:08 +02:00

..

main

Harmonize Stream.collect() usage

2023-07-26 11:15:08 +02:00

test

Merge branch '3.0.x' into 3.1.x

2023-06-16 14:35:23 -07:00