Merge branch 'rc-1.0.2' into 'issue/637'

# Conflicts:
#   package/debian/changelog
3 jobs for issue/637 in 2 minutes and 46 seconds (queued for 3 seconds)