Skip to content

Avoid redundant warnings when installing tools, fixes #283

Julian Ospald requested to merge issue-283 into master

Merge request reports