Commit 98d79654 authored by Guinness's avatar Guinness

Merge branch 'master' into 'master'

Correction suite modifications

See merge request !126
parents 30be2eb0 a8336989
Pipeline #2729 passed with stages
in 1 minute and 43 seconds