Fix builtin discovery tools not being loaded if no platform is installed#1428
Merged
silvanocerza merged 5 commits intomasterfrom Sep 1, 2021
Merged
Fix builtin discovery tools not being loaded if no platform is installed#1428silvanocerza merged 5 commits intomasterfrom
silvanocerza merged 5 commits intomasterfrom
Commits
Commits on Sep 1, 2021
- committed
- committed
- committed
- committed
- committed
