Merge branch 'develop' into 'master'

Merge 1.3.0

See merge request !63
1 job for 1.3.0 in 1 minute and 56 seconds
latest
Status Job ID Name Coverage
  Build
passed #184379704
build_project

00:01:56