Merge branch 'master' into 'develop'

Master

See merge request !9
3 jobs for develop in 13 minutes and 2 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  Build
passed #1266425
code

00:05:47

 
  Tests
passed #1266426
quality

00:06:35

 
  Cleanup
passed #1266427
pipeline

00:00:40