Commit 5d594ae0 authored by ale's avatar ale

Fix some Debian packaging issues

parent 7283ef7a
Pipeline #7547 passed with stages
in 40 seconds