Skip to content

Clean up obsolete comments in ToolManager#2

Merged
mhingston merged 1 commit intomainfrom
clean-tool-manager-comments-12402851014741809840
Jan 10, 2026
Merged

Clean up obsolete comments in ToolManager#2
mhingston merged 1 commit intomainfrom
clean-tool-manager-comments-12402851014741809840

Commits

Commits on Jan 9, 2026