Merging changes from master#9
Merged
Zemogiter merged 13 commits intoZemogiter:masterfrom Jul 11, 2018
Merged
Commits
Commits on Jun 6, 2018
- authored
- authored
- committed
Travis CI
Commits on Jun 13, 2018
- authored
- authored
- authored
- committed
Travis CI - authored
- committed
Travis CI
Commits on Jun 14, 2018
- authored
- committed
Travis CI
Commits on Jun 26, 2018
- authored andcommitted
- committed
Travis CI