{Core} hotfix the name of extension of dev type is None if it has incompatibility problem with core - #12598
Merged
Harold Ran (haroldrandom) merged 1 commit intoMar 18, 2020
Merged
{Core} hotfix the name of extension of dev type is None if it has incompatibility problem with core#12598Harold Ran (haroldrandom) merged 1 commit into
Harold Ran (haroldrandom) merged 1 commit into
Commits
Commits on Mar 16, 2020
- committed
Jianhui Harold