Merge branch 'develop' into 'master'

Develop

See merge request !39
1 job for master in 6 seconds (queued for 21 seconds)
Status Job ID Name Coverage
  Release Lib
passed #342819
Release Library

00:00:06