Revert "remove DefRegInit, change DefReg API with option definition. …#2080
Merged
mergify[bot] merged 1 commit intomasterfrom Aug 18, 2021
Merged
Revert "remove DefRegInit, change DefReg API with option definition. …#2080mergify[bot] merged 1 commit intomasterfrom
mergify[bot] merged 1 commit intomasterfrom