Sync to master#3
Merged
nikos-github merged 15 commits intonikos-github:masterfrom Aug 29, 2017
Merged
Commits
Commits on Aug 22, 2017
- authored andcommitted
Commits on Aug 23, 2017
- authored
- authored andcommitted
- authored
- authored andcommitted
- authored
- authored andcommitted
Commits on Aug 24, 2017
- authored andcommitted
- authored andcommitted
Commits on Aug 25, 2017
Commits on Aug 26, 2017
Commits on Aug 28, 2017
- authored andcommitted