Skip to content

Redundant pattern bugfix#5815

Merged
bors merged 2 commits intorust-lang:masterfrom JarredAllen:redundant_pattern_bugfixJul 18, 2020

Commits

Commits on Jul 17, 2020