Merge branch 'main' of...

Merge branch 'main' of ssh://gitlab.iri.upc.edu:2202/mobile_robotics/wolf_projects/wolf_installer into main
3 jobs for main in 90 minutes and 59 seconds (queued for 93 minutes and 2 seconds)
latest