Merge branch 'rc-1.0.2' into 'master'

Deploy rc-1.0.2

See merge request !32
4 jobs for master in 7 minutes and 17 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Lint
passed #30626
debian-packaging
lint_shell

00:00:20

 
  Build
passed #30627
debian-packaging
build

00:00:38

 
  Test
passed #30628
ubuntu debootstrap
test

00:06:05

 
  Deploy
passed #30629
debian-packaging manual
deploy_for_stable

00:00:12