Merge branch 'dev' into 'master'

Dev See merge request !55
4 jobs from fix/bug in 1 minute 17 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Init
canceled #96846
init

01:17

 
  Bootstrap
skipped #96847
bootstrap
 
  Build
skipped #96848
build
 
  Release
skipped #96849
release