Skip to content

Revert "remove DefRegInit, change DefReg API with option definition. … - #2080

Merged
mergify[bot] merged 1 commit into
masterfrom
revert-1944-ir_remove_reginit
Aug 18, 2021
Merged

mergify[bot] merged 1 commit into
masterfrom
revert-1944-ir_remove_reginit

Commits

  1. Commits on Aug 18, 2021