fix(session): distinguish malformed known-tool input from unknown tools - #25788
Closed
johanhallberg wants to merge 1 commit into
Closed
fix(session): distinguish malformed known-tool input from unknown tools#25788johanhallberg wants to merge 1 commit into
johanhallberg wants to merge 1 commit into
Commits
Commits on May 4, 2026
- committed
johan