Merge branch 'rc-1.0.0' into 'master'

Deploy rc-1.0.0

See merge request !23
3 jobs for v1.0.0 in 9 minutes and 58 seconds (queued for 7 minutes and 5 seconds)
latest
Status Name Job ID Coverage
  Lint
passed lint_shell #32782
debian-packaging

00:00:18

 
  Build
passed build #32783
debian-packaging

00:00:28

 
  Test
passed test #32784
ubuntu regular

00:09:10