Commit 9da55638 authored by Guillaume Pasero's avatar Guillaume Pasero

Merge branch 'pkg_tweaks' into 'develop'

Packaging tweaks

See merge request !570
parents fcdfd63c 315e4ee2
Pipeline #2390 passed with stages
in 87 minutes and 50 seconds