Skip to content

Replace Stream.collect(Collectors.toList()) by Stream.toList() #126

Replace Stream.collect(Collectors.toList()) by Stream.toList()

Replace Stream.collect(Collectors.toList()) by Stream.toList() #126

Annotations

2 warnings

GeoServer dev plugin tests

succeeded Mar 5, 2024 in 2m 38s