Commit bff08962 authored by Valentin Reis's avatar Valentin Reis

Merge branch 'develop' into 'master'

[packaging] fixes the dependency on the hbandit package.

See merge request !45
parents 27e27136 7bf6e6b9
Pipeline #10533 failed with stages
in 2 minutes and 49 seconds