Open dinony opened 6 years ago
Add missing msg prop, since equivalence is claimed.
msg
Should be merged. +1
Add missing
msg
prop, since equivalence is claimed.