Skip to content

Clean up trivial if let#77263

Merged
bors merged 1 commit intorust-lang:masterfrom bugadani:cleanupSep 27, 2020

Commits

Commits on Sep 27, 2020