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

..

src

Harmonize Stream.collect() usage

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

build.gradle

Support Jetty in ClientHttpRequestFactories

2023-07-04 17:49:07 +01:00