Commit ccd3317d authored by Mathieu Courcelles's avatar Mathieu Courcelles

Merge branch 'dev' into 'master'

Dev

See merge request !25
parents dde1eb48 5dd82031
Pipeline #18966310 passed with stages
in 1 minute and 39 seconds