Merge branch 'dev' of git.rwth-aachen.de:plotid/plotid_python into dev
Passed
Mayr, Hannes
created pipeline for commit
b5762ebf
, finished
1 related merge request: !16 Dev
55 seconds, queued for 3 seconds