Skip to content

fix(spec): tombstone agent.tools instead of deleting it — unbreak main - #3904

Merged
os-zhuang merged 1 commit into
mainfrom
claude/ai-tools-retirement-tombstone
Jul 28, 2026
Merged

fix(spec): tombstone agent.tools instead of deleting it — unbreak main#3904
os-zhuang merged 1 commit into
mainfrom
claude/ai-tools-retirement-tombstone