Skip to content

Fix optimizations for closed map checking#14813

Merged
josevalim merged 6 commits intomainfrom
jv-map-line-fix
Oct 6, 2025
Merged

Fix optimizations for closed map checking#14813
josevalim merged 6 commits intomainfrom
jv-map-line-fix

Commits

Commits on Oct 5, 2025

Commits on Oct 6, 2025