Skip to content

Update Wasmi CLI arguments and default config#849

Merged
Robbepop merged 2 commits intomasterfrom rf-update-wasmi-cliDec 17, 2023

Commits

Commits on Dec 17, 2023