Merge branch 'development' into 'master'

Development

See merge request !1
2 jobs for 1.0.1 in 1 minute and 47 seconds (queued for 3 seconds)
latest
Status Name Job ID Coverage
  Build
passed build-package #10066

00:01:37

 
  Deploy
passed update_repo #10067

00:00:09