Merge remote-tracking branch 'origin/devel' into devel
Canceled
Krzysztof Dyszczyk
created pipeline for commit 43746da0
, finished
1 related merge request: !26 Devel
41 seconds, queued for 4 seconds