Rollup of 15 pull requests#56977
Merged
bors merged 40 commits intorust-lang:masterfrom pietroalbini:rollupDec 19, 2018
+471-255
Commits
Commits on Nov 30, 2018
- authored
- authored
- authored
Commits on Dec 10, 2018
Commits on Dec 13, 2018
Commits on Dec 14, 2018
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 16, 2018
Commits on Dec 17, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 18, 2018
- authored
- committedJethro Beekman
- committed
Commits on Dec 19, 2018
- authored
- authored
- authored
Rollup merge of rust-lang#56772 - pnkfelix:issue-54153-linkage-sometimes-requires-optimizations, r=nikic
authored- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored