Rollup of 16 pull requests#58361
Merged
bors merged 36 commits intorust-lang:masterfrom GuillaumeGomez:rollupFeb 11, 2019
Commits
Commits on Jan 9, 2019
Commits on Jan 18, 2019
Commits on Jan 26, 2019
Commits on Feb 4, 2019
Commits on Feb 6, 2019
Commits on Feb 7, 2019
Commits on Feb 8, 2019
Commits on Feb 9, 2019
Commits on Feb 10, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored