Skip to content

Remove redundant line empty when we eliminate negations#15196

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

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