Skip to content

Remove redundant line empty when we eliminate negations#15196

Merged
josevalim merged 2 commits intomainfrom
jv-remove-redundant-line-empty
Apr 13, 2026
Merged

Remove redundant line empty when we eliminate negations#15196
josevalim merged 2 commits intomainfrom
jv-remove-redundant-line-empty

Commits

Commits on Mar 14, 2026

Commits on Apr 13, 2026