Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove version by slicing tool_id before last slash
As pointed out by @nsoranzo, this may avoid conflicts when the version string appears more than once in tool_id.
- Loading branch information