Merge branch 'production' into 'devel'
Passed
Mika Perälä
created pipeline for commit
8d76499c
, finished
Related merge request !24 to merge cherry-pick-7a0e7bf7
42 seconds, queued for 10 seconds