Merge branch 'developer' into 'master'

Developer

See merge request !4
3 jobs for master in 17 minutes and 51 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Check Style
passed #5332
docstyle

00:00:33

passed #5331
pep8

00:00:31

 
  Build
passed #5333
build_image

00:17:18