Commit d86b10a5 authored by Haelwenn's avatar Haelwenn

Merge branch 'dockerfix' into 'develop'

Docker fix

See merge request !3526
parents 6b3842cf 36df37e0
Pipeline #37578 passed with stages
in 79 minutes and 40 seconds