minor fixes & set version policy to "latest stable release of Rust"#1023
Merged
BurntSushi merged 10 commits intomasterfrom ag/various-fixesAug 22, 2018
+468-319
Commits
Commits on Aug 22, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
