Merge branch 'devel' into 'test'
Passed
Nils Olof Paulsson
created pipeline for commit
24d14a79
, finished
1 related merge request: !43 Test
17 seconds, queued for 8 seconds