Merge pull request #262 daily release (0.1.3_1-beta)
[Version] daily release (0.1.3_1-beta)
Authored by: Herklos 2018-06-25
Committed by: GitHub 2018-06-25
Parents: [15d84f][5e09ba]
Child: [4d50cb]