Commit d2701deb authored by Oliver Falk's avatar Oliver Falk
Browse files

Merge branch 'devel' into 'master'

Make sure we pass coverage tests again

See merge request !186
parents dcb36271 9defe761
Pipeline #2251 failed with stages
in 9 minutes and 25 seconds