Skip to content

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

Open
noojung wants to merge 1 commit into
spring-projects:mainfrom
noojung:fix/filtered-map
Open

Avoid redundant filtering in FilteredMap.size()#37256
noojung wants to merge 1 commit into
spring-projects:mainfrom
noojung:fix/filtered-map

Commits

Commits on Sep 8, 2026