Commit d319df1e authored by ale's avatar ale

Merge branch 'magutt' into 'master'

Magutt

See merge request !6
parents 5a95ca9a c2b53c47
Pipeline #4321 passed with stages
in 4 minutes and 47 seconds