Merge branch 'devel' into 'test'
Passed
Nils Olof Paulsson
created pipeline for commit
25aa6877
, finished
1 related merge request: !67 Test
33 seconds, queued for 9 seconds