Merge branch 'lukas_issue185_feat_detailed-install-instructions' into 'develop'
Failed
created pipeline for commit
6f0b08de
, finished
1 related merge request: !164 update release branch by recent developments
7 minutes 56 seconds, queued for 1 seconds