Merged
Commits
Commits on Nov 10, 2017
- authored andcommitted

Commits on Nov 12, 2017
- committed
Samuel Nitsche - authored andcommitted

- committed
Samuel Nitsche
Commits on Nov 16, 2017
- committed
Samuel Nitsche - authored andcommitted

Commits on Nov 17, 2017
- authored andcommitted

- authored andcommitted
