Skip to content

Fix case-sensitive tool ID comparison in pruning logic#115

Merged
Tarquinen merged 2 commits intomasterfrom
fix/case-insensitive-tool-id-matching
Dec 11, 2025
Merged

Fix case-sensitive tool ID comparison in pruning logic#115
Tarquinen merged 2 commits intomasterfrom
fix/case-insensitive-tool-id-matching

Commits

Commits on Dec 11, 2025