Commit f84dcef0 authored by Guilhem Saurel's avatar Guilhem Saurel
Browse files

Merge branch 'devel' into 'devel'

16.04 → 20.04 + fix CI

See merge request !9
parents 88096ed4 253e612d
Pipeline #15969 failed with stages
in 16 minutes and 54 seconds