Merge branch 'dev' into 'master'

Dev See merge request !37
7 jobs from master in 5 minutes 7 seconds (queued for 1 second)
Status Job ID Name Coverage
  Init
passed #81079
init

01:21

 
  Bootstrap
passed #81080
bootstrap

00:09

 
  Build
passed #81136
build

03:27

passed #81125
build

04:11

failed #81126
build

00:15

failed #81081
build

00:16

 
  Release
passed #81082
release

00:08