v1.2.0
1c6e1ca7
·
Merge branch 'gitlab_ci' into 'master'
·
Sep 27, 2019