Skip to content

Fix #1047: create a default platform when possible#1117

Merged
lburgazzoli merged 5 commits intoapache:masterfrom nicolaferraro:1047-no-platformDec 5, 2019

Commits