Changed "Tools API" to "Tool API".
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Changed "Tools API" to "Tool API".
Michael Anello
requested to merge
issue/tool-3582940:1.0.x
into
1.0.x
Jun 06, 2026
Overview
0
Commits
1
Pipelines
1
Changes
1
Just a simple label and description quality-of-life change.
Merge request reports
Loading