Merge branch '34-board-parameter-is-not-set-when-project-is-initialized' into 'master'
Passed
Janik Witzig
created pipeline for commit 61c4d824
, finished
For v4.2.4
19 minutes 3 seconds, queued for 2 seconds