Skip to content

[const-prop] Remove useless typedef#67682

Merged
bors merged 2 commits intorust-lang:masterfrom
wesleywiser:remove_opty_const_typedef
Jan 19, 2020

Commits

Commits on Jan 18, 2020