Add default platform option to runsettings#3770
Merged
MarcoRossignoli merged 4 commits intomicrosoft:mainfrom Jun 16, 2022
Merged
Add default platform option to runsettings#3770MarcoRossignoli merged 4 commits intomicrosoft:mainfrom
MarcoRossignoli merged 4 commits intomicrosoft:mainfrom