Skip to content

fix a comment in validity check#78475

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:validity-comment
Oct 29, 2020

Commits

Commits on Oct 28, 2020