Skip to content

Avoid redundant filtering in FilteredMap.size() - #37256

Merged
sbrannen merged 1 commit into
spring-projects:7.0.xfrom
noojung:fix/filtered-map
Sep 14, 2026
Merged

sbrannen merged 1 commit into
spring-projects:7.0.xfrom
noojung:fix/filtered-map

Commits

  1. Commits on Sep 14, 2026