Merge branch 'devel' into 'test'
Passed
Nils Olof Paulsson
created pipeline for commit
e42bad71
, finished
1 related merge request: !41 Test
46 seconds, queued for 6 seconds