Skip to content

Fix edit tool pruning to use correct field names#182

Merged
Tarquinen merged 1 commit into
devfrom
fix/edit-tool-pruning
Dec 22, 2025
Merged

Fix edit tool pruning to use correct field names#182
Tarquinen merged 1 commit into
devfrom
fix/edit-tool-pruning

fix: correctly prune edit tool inputs (oldString/newString instead of…

a36c650
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.