Gitlab will be down on Friday 25th May (from 9:00 am to 12:00 )

Commit b60c5a24 by pierreh

Small typos corrected

parent 2d642f5e
Pipeline #113 failed with stage
in 0 seconds