Commit 919f2511 authored by Christian Meesters's avatar Christian Meesters

Merge branch 'devel' into 'master'

Devel

See merge request !4
parents f88fc92d 7e8d2af8
Pipeline #81930 passed with stage
in 2 minutes and 18 seconds