V0.31.0 rebased on master#4
Merged
carlosalberto merged 20 commits intov0.31.0-originalfrom Dec 17, 2017
Merged
Commits
Commits on Oct 2, 2017
- authored andcommitted
Commits on Nov 7, 2017
Commits on Nov 30, 2017
- authored andcommitted
Commits on Dec 1, 2017
- authored andcommitted

Commits on Dec 13, 2017
- authored andcommitted
Commits on Dec 14, 2017
Commits on Dec 15, 2017
- committed
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
- authored andcommitted
- authored andcommitted
- committed
- committed
- committed
- authored andcommitted
- authored andcommitted
- committed
- authored