Commit ee440ec3 authored by Cédric Traizet's avatar Cédric Traizet

Merge branch 'fix_debian' into 'develop'

Fix debian build

See merge request !677
parents 5e7f1e68 2e0cc4e0
Pipeline #3657 passed with stages
in 76 minutes and 18 seconds