Commit 29d2a355 authored by Jerome Flesch's avatar Jerome Flesch

Merge branch 'patch-1' into 'develop'

Fix typo

See merge request !815
parents adaac467 45088f32
Pipeline #104133 passed with stage
in 40 minutes and 25 seconds