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 Name Job ID Coverage
  Lint
passed lint_shell #32642
debian-packaging

00:00:24

 
  Build
passed build #32643
debian-packaging

00:00:43

 
  Test
failed test #32644
ubuntu debootstrap

 
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