bug: always prefer tool's given name over the referenced name#840
Merged
cjellick merged 1 commit intogptscript-ai:mainfrom Sep 6, 2024
Merged
bug: always prefer tool's given name over the referenced name#840cjellick merged 1 commit intogptscript-ai:mainfrom
cjellick merged 1 commit intogptscript-ai:mainfrom
