Skip to content

Remove redundant line empty when we eliminate negations#15196

Open
josevalim wants to merge 1 commit intomainfrom
jv-remove-redundant-line-empty
Open

Remove redundant line empty when we eliminate negations#15196
josevalim wants to merge 1 commit intomainfrom
jv-remove-redundant-line-empty

Commits

Commits on Mar 14, 2026