Merge branch 'developer' into 'master'

Developer

See merge request !3
3 jobs for master in 13 minutes and 34 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Check Style
passed #5150
docstyle

00:00:23

passed #5149
pep8

00:00:27

 
  Build
passed #5151
build_image

00:13:07