Commit f937073c authored by Tim Übelhör's avatar Tim Übelhör

Merge branch 'ci_rosinstall' into 'master'

rosinstall for CI job

See merge request !2
parents 9a6e8581 c2b1fcf2
Pipeline #209894 passed with stage
in 4 minutes and 58 seconds