Merge branch 'dev' into '69-enable-basic-customization'
Failed
Mayr, Hannes
created pipeline for commit
c0548b54
, finished
1 related merge request: !60 Enable customization of plotted IDs
1 minute 34 seconds, queued for 2 seconds