Merge branch 'dev' into 'master'

Dev See merge request !44
7 jobs from master in 5 minutes 51 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Init
passed #83732
init

01:21

failed #83728
init

00:14

 
  Bootstrap
passed #83729
bootstrap

00:08

 
  Build
passed #83734
build

04:12

failed #83733
build

00:14

failed #83730
build

00:14

 
  Release
passed #83731
release

00:08