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