Skip to content

Do not read a repeated tool name as an uninstalled one - #803

Merged
SimonCropp merged 1 commit into
mainfrom
fix-toolsorder-duplicate-throw
Aug 22, 2026
Merged

Do not read a repeated tool name as an uninstalled one#803
SimonCropp merged 1 commit into
mainfrom
fix-toolsorder-duplicate-throw

Do not read a repeated tool name as an uninstalled one

5e52d38
Select commit
Loading
Failed to load commit list.