Update to 2018 edition and clippy fixes#71
Merged
bors[bot] merged 11 commits intorust-num:masterfrom Jan 18, 2020
Merged
Commits
Commits on Jan 17, 2020
- committed
- committed
- committed
- committed
Commits on Jan 18, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed