This repository was archived by the owner on Nov 15, 2023. It is now read-only.

Bound some missing bound for elevated trait#6487

Merged

bkchr merged 1 commit into

gui-balances-elevated-bound

Jun 23, 2020

Commits on Jun 23, 2020

bound some missing bound for elevated trait
gui1117
committed