Merge branch 'dev' into 'master'

Dev See merge request !40
4 jobs from master in 5 minutes 57 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Init
passed #81565
init

01:25

 
  Bootstrap
passed #81566
bootstrap

00:08

 
  Build
passed #81567
build

04:14

 
  Release
passed #81568
release

00:08