Update live with current master#4896
Merged
Rick-Anderson merged 11 commits intolivefrom Nov 30, 2017
Merged
Commits
Commits on Nov 29, 2017
- authored
Rick Anderson - authored
Rick Anderson - authored
Rick Anderson - authored andcommitted

- authored andcommitted

Commits on Nov 30, 2017
- authored andcommitted
- authored andcommitted
- authored andcommitted

- authored andcommitted

- authored andcommitted
- authored