Rollup of 8 pull requests#47435
Closed
GuillaumeGomez wants to merge 27 commits into
Closed
Commits
Commits on Jan 8, 2018
Commits on Jan 9, 2018
Commits on Jan 12, 2018
Commits on Jan 13, 2018
- authored andcommitted

- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Clar Charr - committed
Commits on Jan 14, 2018
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored