Skip to content

Distinguish disabled tools from missing tools in errors#247

Merged
jeremy merged 2 commits intomainfrom
disabled-tool-errors
Mar 11, 2026
Merged

Distinguish disabled tools from missing tools in errors#247
jeremy merged 2 commits intomainfrom
disabled-tool-errors

Commits

Commits on Mar 11, 2026