Skip to content

fix(edit): tolerate whitespace and line-ending differences in oldString#21

Merged
codex-mohan merged 2 commits into
mainfrom
fix/edit-tool-whitespace-tolerance
Jun 17, 2026
Merged

fix(edit): tolerate whitespace and line-ending differences in oldString#21
codex-mohan merged 2 commits into
mainfrom
fix/edit-tool-whitespace-tolerance