Skip to content

fix a comment in validity check#78475

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:validity-commentOct 29, 2020
+1-2

Commits

Commits on Oct 28, 2020