4.0.0 Release#37
Merged
nblumhardt merged 25 commits intomasterfrom Oct 30, 2017
Commits
Commits on Jan 3, 2017
Commits on May 15, 2017
Commits on Oct 11, 2017
- committed
Commits on Oct 13, 2017
Commits on Oct 16, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored