Merge branch 'rc-1.0.2' into 'master'

Deploy rc-1.0.2

See merge request !32
3 jobs for v1.0.2 in 1 minute and 7 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Lint
passed #32642
debian-packaging
lint_shell

00:00:24

 
  Build
passed #32643
debian-packaging
build

00:00:43

 
  Test
failed #32644
ubuntu debootstrap
test

 
Name Stage Failure
failed
test Test There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log