Rollup of 15 pull requests#37670
Merged
Merged
Commits
Commits on Oct 25, 2016
Commits on Oct 29, 2016
Commits on Nov 5, 2016
Commits on Nov 6, 2016
Commits on Nov 7, 2016
Commits on Nov 8, 2016
- committed
Nick Cameron - committed
- committed
- committed
- committed
- authored andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 9, 2016
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored