Some more pattern cleanup and bugfixing#34365
Merged
bors merged 11 commits intorust-lang:masterfrom Jul 10, 2016
Merged
Commits
Commits on Jul 8, 2016
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
