Skip to content

[Spec] Fix the broken spec in aptos_framework, aptos_stdlib and move_stdlib#5970

Merged
junkil-park merged 1 commit intomainfrom jpark/fix-broken-specDec 23, 2022

Commits

Commits on Dec 21, 2022