Commit 022c82f3 authored by Guido Gunther's avatar Guido Gunther

Merge branch 'typo' into 'master'

Jenkins: Fix typo

See merge request !84
parents 035d43d5 2cf95c80
Pipeline #4272 passed with stage
in 18 seconds