Commit 12225f54 authored by Michaël Roynard's avatar Michaël Roynard

Merge branch 'dev' into 'master'

Minor fixes

See merge request !6
parents ea43c907 ef92db90
Pipeline #2109 passed with stage
in 1 minute and 45 seconds